Formal Methods for Assuring Security of Protocols.
Susan OlderShiu-Kai ChinPublished in: Comput. J. (2002)
Keyphrases
- formal methods
- security properties
- protocol specification
- security protocols
- formal analysis
- model checker
- knowledge based systems
- formal specification
- model checking
- key agreement protocol
- cryptographic protocols
- artificial intelligence
- communication protocols
- process algebra
- safety critical
- authentication protocol
- security analysis
- security requirements
- information security
- formal model
- databases
- key distribution
- security services
- reactive systems
- development lifecycle
- data mining
- key management
- security policies
- communication protocol
- security mechanisms
- rfid tags
- modeling language