Protocol Verification via Projections.
Simon S. LamA. Udaya ShankarPublished in: IEEE Trans. Software Eng. (1984)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- formal analysis
- model checking
- formal verification
- lightweight
- formal proof
- coloured petri nets
- three dimensional
- tomographic reconstruction
- polyhedral objects
- network simulator
- communication protocol
- communication protocols
- temporal logic
- database
- authentication protocol
- security protocols
- iterative algorithms
- formal methods
- file transfer