Formal Development of Secure Email.

Dan Zhou Joncheng C. Kuo Susan Older Shiu-Kai Chin

Published in: HICSS (1999)

Keyphrases

email
development process
case study
knowledge based systems
design process
security issues
formal methods
anti spam
communication medium
machine learning
text mining
mobile phone
spam filtering
instant messaging