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 条
  • [41] Tango: Declarative Semantics for Multiagent Communication Protocols
    Singh, Munindar P.
    Christie, V. Samuel H.
    PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 391 - 397
  • [42] IoT Security: A review of vulnerabilities and security protocols
    Varma, Ravi Kiran P.
    Priyanka, M.
    Krishna, Vamsi B. S.
    Raju, Subba K., V
    JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES, 2019, 14 (02): : 509 - 520
  • [43] A simplified protocol operational semantics for multiagent protocols
    Koning, JL
    FIRST IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, PROCEEDINGS, 2002, : 175 - 181
  • [44] EXACT2: the semantics of biomedical protocols
    Larisa N Soldatova
    Daniel Nadis
    Ross D King
    Piyali S Basu
    Emma Haddi
    Véronique Baumlé
    Nigel J Saunders
    Wolfgang Marwan
    Brian B Rudkin
    BMC Bioinformatics, 15
  • [45] Handling message semantics with generic broadcast protocols
    Pedone, F
    Schiper, A
    DISTRIBUTED COMPUTING, 2002, 15 (02) : 97 - 107
  • [46] Handling message semantics with Generic Broadcast protocols
    F. Pedone
    A. Schiper
    Distributed Computing, 2002, 15 : 97 - 107
  • [47] UPDATE SEMANTICS AND RELATIONAL VIEWS - COMMENTS
    KELLER, AM
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (03): : 521 - 523
  • [48] An update semantics for prima facie obligations
    van der Torre, LWN
    Tan, YH
    ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 38 - 42
  • [49] Update Semantics in Communicated Information System
    Chen Guang-Ming
    Li Xiao-Wu
    MEMS, NANO AND SMART SYSTEMS, PTS 1-6, 2012, 403-408 : 1460 - +
  • [50] Update Semantics for Weak Necessity Modals
    Silk, Alex
    DEONTIC LOGIC AND NORMATIVE SYSTEMS, 2016, : 237 - 255
12345