首页 | 本学科首页   官方微博 | 高级检索  
     


Update Semantics of Security Protocols
Authors:Arjen?Hommersom  author-information"  >  author-information__contact u-icon-before"  >  mailto:arjenh@cs.kun.nl"   title="  arjenh@cs.kun.nl"   itemprop="  email"   data-track="  click"   data-track-action="  Email author"   data-track-label="  "  >Email author,John-jules?Meyer,Erik?De vink
Affiliation:(1) Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, Nijmegen, The Netherlands;(2) Institute of Information and Computing Sciences, University of Utrecht, Utrecht, The Netherlands;(3) Department of Mathematics and Computer Science, Leiden Institute of Advanced Computer Science, Technische Universiteit Eindhoven, Leiden University, Leiden, The Netherlands
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 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.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号