Online shoppers might have a credit card number stolen while buying Christmas gifts today and not learn about it until Easter, an industry authority on computer virus prevention said. "They're waiting for you to enter your credit card number," said David Perry, global director of education for Trend Micro. "Then they're ...

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, ...