• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP TC-6 TC-11 International Conference on Communications and Multimedia Security >Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets
【24h】

Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets

机译：通过彩色Petri网的安全认证协议的安全性分析

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Wireless communication demands for specialized protocols secure against attacks on the radio path while fitting the limited calculation and memory capabilities of mobile terminals. To ensure accessibility of mobile services beyond a user's home network, signing on a foreign network should be possible. The latter must be able to authenticate a user without learning any secret registration data. Chouinard et al. [DBC01] introduce the Secure Authentication Protocol for this purpose. In this paper, an exhaustive security analysis of the protocol is presented. First, it is mapped to a coloured petri net. Then, two different intruder models are developed and integrated separately into it. The state spaces of the two nets are calculated; they each contain a set of nodes representing all reachable states. Both are examined to detect states where any security objective is violated indicating a security flaw in the protocol. As there are no such states in both nets, the protocol is proven secure.
机译：无线通信对专业协议的需求防止无线电路径的攻击，同时拟合移动终端的有限计算和内存能力。为确保超出用户的家庭网络超出移动服务的可访问性，应签署外国网络。后者必须能够在不学习任何秘密注册数据的情况下验证用户。 Chouinard等人。 [DBC01]为此目的介绍安全的认证协议。在本文中，提出了对协议的详尽安全性分析。首先，它被映射到彩色培养网。然后，将两个不同的入侵者模型分开开发并集成。计算两个网的状态空间;它们每个都包含一组代表所有可达状态的节点。检查两者都检测到违反任何安全目标的状态，指示协议中的安全漏洞。由于两个网中没有这样的状态，因此证明了协议安全。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号