Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1707.08750
Cited By
An Epistemic Foundation for Authentication Logics (Extended Abstract)
27 July 2017
Joseph Y. Halpern
R. V. D. Meyden
Riccardo Pucella
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"An Epistemic Foundation for Authentication Logics (Extended Abstract)"
1 / 1 papers shown
Title
DELP: Dynamic Epistemic Logic for Security Protocols
Ioana Leustean
Bogdan Macovei
23
1
0
12 Sep 2021
1
