A Computationally Sound Mechanized Prover for Security Protocols.
Bruno BlanchetPublished in: IEEE Trans. Dependable Secur. Comput. (2008)
Keyphrases
- security protocols
- automated design
- cryptographic algorithms
- security services
- security properties
- theorem proving
- key management
- security mechanisms
- artificial immune algorithm
- security requirements
- theorem prover
- authentication protocol
- secure communication
- cryptographic protocols
- response time
- intrusion detection
- software engineering
- database systems
- real time