A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo ToninhoLuís CairesPublished in: SecCo (2010)
Keyphrases
- security protocols
- epistemic logic
- model checking
- automated design
- modal logic
- inference rules
- spatial information
- logical framework
- formal semantics
- multi agent systems
- security mechanisms
- multi faceted
- key management
- low cost
- mathematical theory
- cost effective
- model checker
- temporal logic
- formal methods
- artificial intelligence
- distributed systems
- incomplete information
- multi agent