{"type":"conference","file_date_updated":"2018-12-18T13:29:29Z","has_accepted_license":"1","user_id":"61579","status":"public","ddc":["000"],"date_created":"2018-11-14T14:54:44Z","abstract":[{"lang":"eng","text":"Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by deploying complementary anti-spam approaches. However, if we are to avert the danger of losing the Internet email service as a valuable, free, and worldwide medium of open communication, anti-spam activities should be performed more systematically than is done in current, mainly heuristic, anti-spam approaches. A formal framework within which the modes of spam delivery, anti-spam approaches, and their effectiveness can be investigated, may encourage a shift in methodology and pave the way for new, holistic anti-spam approaches. This paper presents a model of the Internet e-mail infrastructure as a directed graph and a deterministic finite automaton, and draws on automata theory to formally derive the modes of spam delivery possible. Finally the effectiveness of anti-spam approaches in terms of coverage of spamming modes is assessed."}],"date_updated":"2022-01-06T07:02:22Z","publication":"39th Annual Hawaii International Conference on System Sciences","title":"A formal approach towards assessing the effectiveness of anti-spam procedures","department":[{"_id":"277"}],"oa":"1","year":"2006","author":[{"id":"72850","first_name":"Guido","full_name":"Schryen, Guido","last_name":"Schryen"}],"file":[{"file_size":176033,"access_level":"open_access","relation":"main_file","date_updated":"2018-12-18T13:29:29Z","creator":"hsiemes","date_created":"2018-12-18T13:29:29Z","file_name":"Conference Version - A formal approach towards assessing the effectiveness of anti spam approaches.pdf","file_id":"6327","content_type":"application/pdf"}],"citation":{"short":"G. Schryen, in: 39th Annual Hawaii International Conference on System Sciences, 2006.","ama":"Schryen G. A formal approach towards assessing the effectiveness of anti-spam procedures. In: 39th Annual Hawaii International Conference on System Sciences. ; 2006.","chicago":"Schryen, Guido. “A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures.” In 39th Annual Hawaii International Conference on System Sciences, 2006.","mla":"Schryen, Guido. “A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures.” 39th Annual Hawaii International Conference on System Sciences, 2006.","bibtex":"@inproceedings{Schryen_2006, title={A formal approach towards assessing the effectiveness of anti-spam procedures}, booktitle={39th Annual Hawaii International Conference on System Sciences}, author={Schryen, Guido}, year={2006} }","apa":"Schryen, G. (2006). A formal approach towards assessing the effectiveness of anti-spam procedures. In 39th Annual Hawaii International Conference on System Sciences.","ieee":"G. Schryen, “A formal approach towards assessing the effectiveness of anti-spam procedures,” in 39th Annual Hawaii International Conference on System Sciences, 2006."},"_id":"5659","extern":"1","language":[{"iso":"eng"}]}