A Relational Algebraic Approach to Protocol Verification.
Tony T. LeeMing-Yee LaiPublished in: IEEE Trans. Software Eng. (1988)
Keyphrases
- cryptographic protocols
- model checker
- protocol specification
- formal analysis
- model checking
- formal verification
- coloured petri nets
- relational data
- formal proof
- colored petri nets
- lightweight
- verification method
- relational databases
- network protocols
- relational learning
- data model
- temporal logic
- communication protocols
- tcp ip
- communication protocol
- ip address
- privacy preserving
- formal methods
- face verification
- formal specification
- neural network
- databases