Automated protocol verification.
Jonathan BillingtonMichael C. Wilbur-HamM. Y. BearmanPublished in: PSTV (1985)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- semi automated
- model checking
- lightweight
- network protocols
- colored petri nets
- semi automatic
- formal proof
- temporal logic
- face verification
- formal methods
- coloured petri nets
- tcp ip
- automated analysis
- data sets
- fully automated
- computer aided
- case study
- databases