Computer-Assisted Verification of a Protocol for Certified Email.
Martín AbadiBruno BlanchetPublished in: SAS (2003)
Keyphrases
- computer assisted
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- computer aided
- spam filtering
- model checking
- intraoperative
- formal proof
- enron email
- electronic mail
- lightweight
- foreign language
- communication medium
- surgical training
- anti spam
- email messages
- communication protocols
- formal verification
- email classification
- pattern recognition
- grade students
- instant messaging
- computer assisted instruction