• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Progress in cryptology-AFRICACRYPT 2009 >Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
【24h】

Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps

机译：使用时间戳的标准身份验证和密钥协商协议的安全性分析

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

摘要

We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this technique to two of the most popular models adopted in literature (Bellare-Rogaway and Canetti-Krawczyk). We analyse previous results obtained using these models in light of the proposed extensions, and demonstrate their application to a new class of protocols. In the timed CK model we concentrate on modular design and analysis of protocols, and propose a more efficient timed authenticator relying on timestamps. The structure of this new authenticator implies that an authentication mechanism standardised in ISO-9798 is secure. Finally, we use our timed extension to the BR model to establish the security of an efficient ISO protocol for key transport and unilateral entity authentication.
机译：我们提出了一种通用的建模技术，该技术可用于扩展现有框架以进行理论安全性分析，以捕获时间戳的使用。我们将此技术应用于文学中采用的两种最受欢迎​​的模型（Bellare-Rogaway和Canetti-Krawczyk）。我们根据提议的扩展来分析使用这些模型获得的先前结果，并证明它们在新一类协议中的应用。在定时CK模型中，我们专注于模块化设计和协议分析，并提出了一种基于时间戳的更有效的定时身份验证器。此新身份验证器的结构意味着ISO-9798中标准化的身份验证机制是安全的。最后，我们使用对BR模型的定时扩展来建立用于密钥传输和单方实体认证的有效ISO协议的安全性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号