A Computationally Sound Mechanized Prover for Security Protocols.
Bruno BlanchetPublished in: IACR Cryptol. ePrint Arch. (2005)
Keyphrases
- security protocols
- automated design
- cryptographic algorithms
- security services
- security properties
- key management
- authentication protocol
- security mechanisms
- artificial immune algorithm
- theorem proving
- theorem prover
- cryptographic protocols
- secure communication
- security requirements
- network security
- knowledge management
- low cost
- information systems
- artificial intelligence