A Compositional Logic for Protocol Correctness.
Nancy A. DurginJohn C. MitchellDusko PavlovicPublished in: CSFW (2001)
Keyphrases
- model checker
- modal logic
- logic programming
- lightweight
- communication protocol
- coloured petri nets
- automated reasoning
- classical logic
- formal verification
- proof theory
- application layer
- database systems
- security protocols
- model checking
- predicate logic
- tcp ip
- cryptographic protocols
- access control
- key agreement protocol
- network protocols
- multi agent