On the Projection Method for Protocol Verification.
To-Yat CheungPublished in: IEEE Trans. Software Eng. (1986)
Keyphrases
- projection method
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- coloured petri nets
- lightweight
- formal verification
- harmonic functions
- colored petri nets
- network protocols
- signature verification
- multi agent
- formal proof
- asynchronous circuits
- formal specification
- tcp ip
- communication protocol
- authentication protocol
- security protocols
- face verification
- formal methods
- neural network
- linear projection
- feature extraction
- image segmentation