Update Semantics of Security Protocols

被引：0
|
作者：
Arjen Hommersom
John-jules Meyer
Erik De vink
机构：
[1] University of Nijmegen,Nijmegen Institute for Computing and Information Sciences
[2] University of Utrecht,Institute of Information and Computing Sciences
[3] Technische Universiteit Eindhoven,Department of Mathematics and Computer Science, Leiden Institute of Advanced Computer Science
[4] Leiden University,undefined
来源：
Synthese | 2004年 / 142卷
关键词：
Epistemic State; Security Protocol; Kripke Model; Epistemic Logic; Recent Insight;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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 these 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 and discuss the Wide-Mouthed Frog protocol.
引用
收藏
页码：229 / 267
页数：38
相关论文
共 50 条
  • [1] Update semantics of security protocols
    Hommersom, A
    Meyer, JJ
    De Vink, E
    SYNTHESE, 2004, 142 (02) : 229 - 267
  • [2] Operational semantics of security protocols
    Cremers, C
    Mauw, S
    SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS, 2005, 3466 : 66 - 89
  • [3] Game semantics model for security protocols
    Debbabi, M
    Saleh, M
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 125 - 140
  • [4] Semantics and logic Efor security protocols
    Jacobs, Bart
    Hasuo, Ichiro
    JOURNAL OF COMPUTER SECURITY, 2009, 17 (06) : 909 - 944
  • [5] On the semantics of Alice&Bob specifications of security protocols
    Caleiro, Carlos
    Vigano, Luca
    Basin, David
    THEORETICAL COMPUTER SCIENCE, 2006, 367 (1-2) : 88 - 122
  • [6] A verification logic for security protocols based on computational semantics
    Tang, Chao-Jing, 1600, Chinese Institute of Electronics (42):
  • [7] A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space
    Li, Yongjian
    Jiang, Hongjian
    Zhao, Yongxin
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2024, 2024, 14777 : 306 - 323
  • [8] Higher Semantics of Quantum Protocols
    Vicary, Jamie
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 606 - 615
  • [9] DEFAULTS IN UPDATE SEMANTICS
    VELTMAN, F
    JOURNAL OF PHILOSOPHICAL LOGIC, 1996, 25 (03) : 221 - 261
  • [10] A categorical semantics of quantum protocols
    Abramsky, S
    Coecke, B
    19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 415 - 425
12345