Abstract | ||
---|---|---|
We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between them based on updates of the agents' beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.entcs.2004.11.013 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
kripke model,model-theoretic approach,modal logic,pass protocol,security protocol,semantic updates,case study,recent insight,security protocols,subsequent epistemic state,belief revision,semantic approach,dynamic epistemic logic | Cryptographic protocol,Computer science,Dynamic epistemic logic,Theoretical computer science,Modal logic,Artificial intelligence,Kripke models,Belief revision,Three-pass protocol | Journal |
Volume | ISSN | Citations |
126, | Electronic Notes in Theoretical Computer Science | 0 |
PageRank | References | Authors |
0.34 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arjen Hommersom | 1 | 121 | 19.62 |
John-Jules Meyer | 2 | 450 | 32.51 |
Erik de Vink | 3 | 135 | 8.16 |