Modeling A Certified Email Protocol using I/O Automata.

Carlo Blundo Stelvio Cimato Roberto De Prisco Anna Lisa Ferrara

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

email
text mining
lightweight
enron email
electronic mail
email messages
e learning
input output
colored petri nets
spam filtering
lattice gas
communication medium
instant messaging
spam detection
formal analysis
file system
main memory
petri net
sensor networks
database systems