Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.
Dan ZhouShiu-Kai ChinPublished in: World Congress on Formal Methods (1999)
Keyphrases
- formal analysis
- payment protocol
- ban logic
- communication channels
- authentication protocol
- cryptographic protocols
- covert channel
- lightweight
- formal methods
- scalar product
- group communication
- security issues
- spam filtering
- provably secure
- key management
- security protocols
- key exchange protocol
- secure communication
- security analysis
- key distribution
- agent model
- information security
- standard model
- multi party
- enron email
- privacy preserving
- knowledge acquisition
- data model