分布式网络环境下密码协议形式模型和安全性
| 外文标题 | Formal Model and Security Analysis for Cryptographic Protocols in the Distributed Network Environment |
| 文献类型 | 期刊 |
| 作者 | 李先贤[1];怀进鹏[2] |
| 机构 | [1]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系 北京100083,北京100083 [2]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系 北京100083,北京100083 ↓ |
| 来源信息 | 年:2002卷:19期:3页码范围:311-323 |
| 期刊信息 | 中国科学院研究生院学报ISSN:1002-1175 |
| 关键词 | 密码协议;形式化方法;信息安全;代数系统 |
| 摘要 | 随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至是动态的,密码协议运行环境极为复杂,这使得密码协议的安全性描述和分析变得非常复杂.引入了一个新的代数系统刻画具有多种密码运算的消息代数,并提出了一个新的密码协议模型,描述了无边界网络中的攻击模式,通过建立形式语言规范了无边界网络环境下密码协议的运行环境和安全性质.该协议模型描述了一种"协同攻击"模式,并讨论了密码协议的安全性分析约简技术,给出一个新的安全自动分析过程的简要描述. |
| 收录情况 | CSCD |
| 所属部门 | 计算机学院 |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_zgkxyyjsyxb200203014.aspx |
| DOI | 10.3969/j.issn.1002-1175.2002.03.014 |
| 人气指数 | 1 |
| 浏览次数 | 1 |
| 基金 | 国家自然科学基金; 国家高技术研究发展计划(863计划) |
全文
影响因子：
计算机学院
dc:title:分布式网络环境下密码协议形式模型和安全性
dc:creator:李先贤;怀进鹏
dc:date: publishDate:2002-09-30
dc:type:期刊
dc:format: Media：中国科学院研究生院学报
dc:identifier: LnterrelatedLiterature：中国科学院研究生院学报.2002,19(3),311-323.
dc:identifier:DOI：10.3969/j.issn.1002-1175.2002.03.014
dc: identifier:ISBN:1002-1175
