Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract).
Koji HasebeMitsuhiro OkadaPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- extended abstract
- model checker
- modal logic
- lightweight
- cryptographic protocols
- classical logic
- predicate logic
- formal verification
- coloured petri nets
- proof theory
- logic programming
- computational properties
- multi valued
- formal analysis
- defeasible logic
- set theory
- application layer
- digital circuits
- security protocols
- automated reasoning
- formal methods
- order sorted