Computer-assisted verification of a protocol for certified email.
Martín AbadiBruno BlanchetPublished in: Sci. Comput. Program. (2005)
Keyphrases
- computer assisted
- cryptographic protocols
- protocol specification
- formal analysis
- computer aided
- model checker
- spam filtering
- lightweight
- model checking
- intraoperative
- instant messaging
- enron email
- formal proof
- electronic mail
- spam detection
- email messages
- foreign language
- colored petri nets
- communication medium
- formal verification
- communication protocols
- formal methods
- computer vision
- authentication protocol
- communication tools
- email classification
- surgical training
- image spam