密码协议的代数模型及其安全性 |
| |
引用本文: | 怀进鹏,李先贤.密码协议的代数模型及其安全性[J].中国科学(E辑),2003,33(12):1087-1106. |
| |
作者姓名: | 怀进鹏 李先贤 |
| |
作者单位: | 北京航空航天大学计算机科学与工程系,北京,100083 |
| |
基金项目: | 国家自然科学基金(批准号:60073006),国家“八六三”高技术研究发展计划(2001AA144150)资助项目 |
| |
摘 要: | 引入了一个新的代数系统——称为密码协议代数(cryptographic protocol algebra, CPA), 刻画具有多种密码运算的消息代数性质, 并基于CPA提出了一个新的密码协议代数模型. 模型中, 用子代数、自由生成元和多项式代数等概念刻画主体的知识扩张过程, 并用类似于代数中的正合序列概念描述了密码协议的攻击过程, 从而为密码协议的安全性分析建立了一种数学方法. 基于这个模型, 利用代数的技巧证明了对于具有一定对称性的协议, 任意多主体参与运行的协议安全性分析可归结为几个主体与攻击者参与的协议安全性分析. 研究了密码协议安全的一致性问题, 给出了两个协议合成保持安全性的一个充分条件, 并提供两个安全的密码协议的合成安全的例子, 推广了相关工作.
|
关 键 词: | 形式化分析 信息安全 代数系统 密码协议 |
收稿时间: | 2002-05-27 |
修稿时间: | 2003-05-09 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《中国科学(E辑)》浏览原始摘要信息 |
| 点击此处可从《中国科学(E辑)》下载免费的PDF全文 |
|