DELP: Dynamic Epistemic Logic for Security Protocols
Leustean, Ioana, Macovei, Bogdan
Published in 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.12.2021)
Published in 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.12.2021)
Get full text
Conference Proceeding