Keyphrases
- formal semantics
- cryptographic protocols
- epistemic logic
- first order logic
- expressive power
- inference rules
- standard model
- modal logic
- logical language
- operational semantics
- security protocols
- theorem prover
- formal verification
- modeling language
- logical reasoning
- owl dl ontology
- artificial intelligence
- authentication protocol
- temporal logic
- operating system
- lightweight
- low cost
- database
- locally decodable codes