October 27, 2021


Dedicated Forum to help removing adware, malware, spyware, ransomware, trojans, viruses and more!

DELP: Dynamic Epistemic Logic for Security Protocols. (arXiv:2109.05599v1 [cs.LO])

The formal analysis of security protocols is a challenging field, with
various approaches being studied nowadays. The famous Burrows-Abadi-Needham
Logic was the first logical system aiming to validate security protocols.
Combining ideas from previous approaches, in this paper we define a complete
system of textit{dynamic epistemic logic} for modeling security protocols. Our
logic is implemented, and few of its properties are verifyied, using the
theorem prover Lean.