Survey of protocol definition and verification techniques.
Carl A. SunshinePublished in: Comput. Commun. Rev. (1978)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- formal verification
- coloured petri nets
- formal proof
- data collection
- lightweight
- formal methods
- authentication protocol
- communication protocols
- data sets
- application layer
- security protocols
- cross sectional
- formal specification
- network simulator
- verification method
- colored petri nets
- end to end
- case study
- information systems