DELP: Dynamic Epistemic Logic for Security Protocols.
Ioana LeusteanBogdan MacoveiPublished in: CoRR (2021)
Keyphrases
- security protocols
- dynamic epistemic logic
- epistemic logic
- defeasible logic programming
- automated design
- logical framework
- security properties
- key management
- modal logic
- security mechanisms
- inference rules
- artificial immune algorithm
- security requirements
- knowledge representation
- multi faceted
- model checking
- response time
- information systems