| 安全协议认证属性的设计框架研究 |
| |
| 引用本文： | 刘一静,谢鸿波,吴远成.安全协议认证属性的设计框架研究[J].计算机应用,2007,27(12):2928-2931. |
| |
| 作者姓名： | 刘一静 谢鸿波 吴远成 |
| |
| 作者单位： | 四川大学,计算机学院,成都,610065 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性。
|
| 关 键 词： | 协议设计 认证属性 迹模型 通道模型 |
| 文章编号： | 1001-9081(2007)12-2928-03 |
| 修稿时间： | 2007年6月7日 |
Study on framework of authentication property design for security protocols |
| |
| LIU Yi-jing,XIE Hong-bo,WU Yuan-chen.Study on framework of authentication property design for security protocols[J].journal of Computer Applications,2007,27(12):2928-2931. |
| |
| Authors: | LIU Yi-jing XIE Hong-bo WU Yuan-chen |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
