Formalization is the process of making explicit the entire deductive structure of an argument / proof, in such a way that a computer could easily* check that it follows. (*: "easily", according to the de Bruijn criterion, means that the proof checker is small. ) Note: "deductive" does not imply ...

There is no silver bullet or single solution to stop or combat spam, phishing and online deception — it takes a combination of innovative technologies, user education, effective and strong enforcement, and collaboration with industry, business, and governments. The Sender ID Framework is an example of a simple yet innovative, ...

Although spammers registered considerable success with image spam (picture, right) the anti-spam software industry had not lost the battle and quickly came out with new counter-measures to stop image spam. Realizing that filters had a problem with images, the answer was to hit spammers at source – ...

In December 2006  the beta version of Spam Terrier, our upcoming free anti-spam plug-in for Microsoft Outlook and Outlook Express. The Terrier is now out of puppyhood and is ready to graduate from his obedience classes into the real world, now that he understands how to distinguish between wanted and ...