{"language":[{"iso":"eng"}],"abstract":[{"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.","lang":"eng"}],"file_date_updated":"2018-12-18T13:29:29Z","user_id":"61579","ddc":["000"],"status":"public","citation":{"ama":"Schryen G. A formal approach towards assessing the effectiveness of anti-spam procedures. In: <i>39th Annual Hawaii International Conference on System Sciences</i>. ; 2006.","ieee":"G. Schryen, “A formal approach towards assessing the effectiveness of anti-spam procedures,” in <i>39th Annual Hawaii International Conference on System Sciences</i>, 2006.","mla":"Schryen, Guido. “A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures.” <i>39th Annual Hawaii International Conference on System Sciences</i>, 2006.","apa":"Schryen, G. (2006). A formal approach towards assessing the effectiveness of anti-spam procedures. In <i>39th Annual Hawaii International Conference on System Sciences</i>.","chicago":"Schryen, Guido. “A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures.” In <i>39th Annual Hawaii International Conference on System Sciences</i>, 2006.","short":"G. Schryen, in: 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} }"},"date_created":"2018-11-14T14:54:44Z","department":[{"_id":"277"}],"author":[{"id":"72850","full_name":"Schryen, Guido","last_name":"Schryen","first_name":"Guido"}],"title":"A formal approach towards assessing the effectiveness of anti-spam procedures","file":[{"file_id":"6327","file_size":176033,"date_created":"2018-12-18T13:29:29Z","content_type":"application/pdf","date_updated":"2018-12-18T13:29:29Z","access_level":"open_access","file_name":"Conference Version - A formal approach towards assessing the effectiveness of anti spam approaches.pdf","relation":"main_file","creator":"hsiemes"}],"type":"conference","has_accepted_license":"1","date_updated":"2022-01-06T07:02:22Z","oa":"1","_id":"5659","publication":"39th Annual Hawaii International Conference on System Sciences","extern":"1","year":"2006"}