A formal approach towards assessing the effectiveness of anti-spam procedures
G. Schryen, in: 39th Annual Hawaii International Conference on System Sciences, 2006.