collaborators

1 paper

cs.LO2021

DELP: Dynamic Epistemic Logic for Security Protocols

Ioana Leustean, Bogdan Macovei

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 syste…