Automated Unbounded Verification of Security Protocols.
Yannick ChevalierLaurent VigneronPublished in: CAV (2002)
Keyphrases
- security protocols
- automated design
- cryptographic protocols
- cryptographic algorithms
- security services
- security properties
- formal verification
- security mechanisms
- artificial immune algorithm
- secure communication
- evolutionary design
- key management
- engineering design
- authentication protocol
- mechanism design
- model checking
- cost effective
- knowledge management
- software engineering
- digital libraries
- databases