Local abstract verification and refinement of security protocols.
Ti ZhouMengjun LiZhoujun LiPublished in: FMSE (2008)
Keyphrases
- security protocols
- cryptographic protocols
- automated design
- cryptographic algorithms
- security properties
- artificial immune algorithm
- authentication protocol
- security services
- secure communication
- key management
- security mechanisms
- model checking
- formal verification
- security requirements
- security issues
- high security
- rfid tags
- real time