首页    期刊浏览 2024年11月26日 星期二
登录注册

文章基本信息

  • 标题:Simulation based security in the applied pi calculus
  • 本地全文:下载
  • 作者:St{\'e}phanie Delaune ; Steve Kremer ; Olivier Pereira
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2009
  • 卷号:4
  • 页码:169-180
  • DOI:10.4230/LIPIcs.FSTTCS.2009.2316
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We present a symbolic framework for refinement and composition of security protocols. The framework uses the notion of ideal functionalities. These are abstract systems which are secure by construction and which can be combined into larger systems. They can be separately refined in order to obtain concrete protocols implementing them. Our work builds on ideas from the ``trusted party paradigm'' used in computational cryptography models. The underlying language we use is the applied pi calculus which is a general language for specifying security protocols. In our framework we can express the different standard flavours of simulation-based security which happen to all coincide. We illustrate our framework on an authentication functionality which can be realized using the Needham-Schroeder-Lowe protocol. For this we need to define an ideal functionality for asymmetric encryption and its realization. We show a joint state result for this functionality which allows composition (even though the same key material is reused) using a tagging mechanism.
  • 关键词:Simulation based security; applied pi calculus; joint state theorem; authentication protocols
国家哲学社会科学文献中心版权所有