Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- model checking
- formal analysis
- formal proof
- lightweight
- formal methods
- coloured petri nets
- communication protocol
- formal verification
- rewrite rules
- query rewriting
- tcp ip
- communication protocols
- asynchronous circuits
- rewriting rules
- network protocols
- authentication protocol
- verification method
- queries using views
- rewriting systems
- security protocols
- colored petri nets
- end to end
- formal specification
- application layer