Comments on "On the Projection Method for Protocol Verification''.
Yutaka HirakawaPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- projection method
- cryptographic protocols
- protocol specification
- formal analysis
- harmonic functions
- model checker
- model checking
- formal proof
- coloured petri nets
- formal verification
- lightweight
- colored petri nets
- communication protocol
- tcp ip
- application layer
- authentication protocol
- high resolution satellite images
- security protocols
- formal specification
- network protocols
- linear projection
- formal methods
- distributed databases
- web services