Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.
Minh D. NguyenMax ThalmaierMarkus WedlerJörg BormannDominik StoffelWolfgang KunzPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
- cryptographic protocols
- protocol specification
- verification method
- formal analysis
- formal proof
- model checking
- model checker
- lightweight
- colored petri nets
- temporal logic
- formal methods
- affine invariant
- face verification
- communication protocols
- type fuzzy logic systems
- access control
- communication protocol
- formal verification
- authentication protocol
- signature verification