DELP: Dynamic Epistemic Logic for Security Protocols.

Ioana Leustean Bogdan Macovei

Published 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