A Formally Verified Mechanism for Countering SPIT.

Yannis Soupionis Stylianos Basagiannis Panagiotis Katsaros Dimitris Gritzalis

Published in: CRITIS (2010)

Keyphrases

databases
real time
real world
website
training data
pattern recognition
preprocessing
selection mechanism