ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2109.05599
25
1
v1v2 (latest)

DELP: Dynamic Epistemic Logic for Security Protocols

12 September 2021
Ioana Leustean
Bogdan Macovei
ArXiv (abs)PDFHTML
Abstract

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.

View on arXiv
Comments on this paper