• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>European Symposium on Research in Computer Security(ESORICS 2004); 20040913-15; Sophia Antipolis(FR) >A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
【24h】

A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol

机译：Otway-Rees协议的密码学上可靠的Dolev-Yao风格安全证明

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active attacks including concurrent protocol runs if it is implemented using provably secure cryptographic primitives. Although we achieve security under cryptographic definitions, our proof does not have to deal with probabilistic aspects of cryptography and is hence in the scope of current proof tools. The reason is that we exploit a recently proposed ideal cryptographic library, which has a provably secure cryptographic implementation. Together with composition and preservation theorems of the underlying model, this allows us to perform the actual proof effort in a deterministic setting corresponding to a slightly extended Dolev-Yao model. Besides establishing the cryptographic security of the Otway-Rees protocol, our result also exemplifies the potential of this cryptographic library. We hope that it paves the way for cryptographically sound verification of security protocols by means of formal proof tools.
机译：我们提供了众所周知的Otway-Rees协议的第一个加密上可靠的安全证明。更精确地讲，如果使用可证明的安全密码原语实现该协议，则该协议对于包括主动协议运行在内的任意主动攻击都是安全的。尽管我们在密码定义下实现了安全性，但是我们的证明不必处理密码学的概率问题，因此属于当前的证明工具范围。原因是我们利用了最近提出的理想密码库，该库具有可证明的安全密码实现。连同基础模型的组成和保存定理，这使我们能够在与稍微扩展的Dolev-Yao模型相对应的确定性设置中执行实际的证明工作。除了建立Otway-Rees协议的加密安全性之外，我们的结果还证明了该加密库的潜力。我们希望它为通过形式证明工具对安全协议进行加密的可靠验证铺平了道路。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号