A Computationally Sound Mechanized Prover for Security Protocols.
Bruno BlanchetPublished in: IEEE Symposium on Security and Privacy (2006)
Keyphrases
- security protocols
- automated design
- security services
- security properties
- cryptographic algorithms
- key management
- secure communication
- security mechanisms
- authentication protocol
- artificial immune algorithm
- theorem proving
- theorem prover
- cryptographic protocols
- resource constrained
- security requirements
- digital libraries
- databases