Survey of Protocol Definition and Verification Techniques.
Carl A. SunshinePublished in: Comput. Networks (1978)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- formal analysis
- model checking
- formal verification
- lightweight
- formal proof
- coloured petri nets
- colored petri nets
- communication protocol
- case study
- network protocols
- fingerprint verification
- set theory
- authentication protocol
- cross sectional
- verification method
- formal methods
- temporal logic
- information systems
- inter organizational workflow