Generating formal cryptographic protocol specifications.
Ulf CarlsenPublished in: IEEE Symposium on Security and Privacy (1994)
Keyphrases
- cryptographic protocols
- formal specification
- formal language
- formal descriptions
- operational semantics
- specification language
- reactive systems
- requirements specification
- security properties
- standard model
- security protocols
- formal verification
- formal methods
- high level
- information systems
- formal model
- cost effective
- delay insensitive
- controlled natural language
- web services