Language generation and verification in the NRL protocol analyzer.
Catherine A. MeadowsPublished in: CSFW (1996)
Keyphrases
- language generation
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- lightweight
- formal proof
- formal verification
- coloured petri nets
- application layer
- security analysis
- communication protocols
- colored petri nets
- network protocols
- file transfer
- communication protocol
- tcp ip
- authentication protocol
- fingerprint verification
- verification method
- formal methods
- data sets