Formal Specification and Verification of Secure Communication Protocols.
Svein J. KnapskogPublished in: AUSCRYPT (1990)
Keyphrases
- protocol specification
- communication protocols
- formal specification
- model checking
- process algebra
- concurrent systems
- formal methods
- specification language
- model checker
- specification languages
- object oriented design
- communication protocol
- formal verification
- grid workflow
- temporal logic
- protocol stack
- cryptographic protocols
- database
- reverse engineering
- smart card
- knowledge representation
- databases