An algorithmic technique for protocol verification.
Krishan K. SabnaniPublished in: IEEE Trans. Commun. (1988)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- model checking
- formal analysis
- formal verification
- coloured petri nets
- lightweight
- network protocols
- communication protocols
- formal methods
- file transfer
- formal proof
- application layer
- data sets
- verification method
- functional verification
- tcp ip
- key agreement protocol
- communication protocol
- security protocols
- face verification
- database systems