Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols.
Catherine A. MeadowsPublished in: Sci. Comput. Program. (2004)
Keyphrases
- formal analysis
- cryptographic protocols
- requirements specification
- requirements engineering
- software engineering
- specification language
- software requirements
- software systems
- standard model
- formal methods
- development process
- authentication protocol
- security protocols
- software development
- description language
- systems development
- knowledge based systems
- information systems
- databases