DELP: Dynamic Epistemic Logic for Security Protocols.

Ioana Leustean Bogdan Macovei

Published in: SYNASC (2021)

Keyphrases

security protocols
dynamic epistemic logic
epistemic logic
automated design
defeasible logic programming
security properties
security mechanisms
modal logic
key management
artificial immune algorithm
logical framework
real time
inference rules
rfid tags
formal semantics
logic programming
multi agent systems