Verification Results for ISO FTAM Basic Protocol.
Richard LaiTharam S. DillonKen R. ParkerPublished in: PSTV (1989)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- formal proof
- model checking
- formal verification
- coloured petri nets
- lightweight
- formal methods
- authentication protocol
- concurrent systems
- colored petri nets
- network protocols
- temporal logic
- communication protocol
- formal specification
- communication protocols
- group communication
- asynchronous circuits
- tcp ip
- functional verification
- security analysis