分布式网络环境下密码协议形式模型和安全性

• 作者: 怀进鹏 李先贤
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 密码协议 形式化方法 信息安全 代数系统
• 年，卷（期）: 2002,（3）
• 页码范围: 311-323
• 页数: 13页
• 分类号: TP393
• 字数: 15150字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2002.03.014

摘要

随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至是动态的,密码协议运行环境极为复杂,这使得密码协议的安全性描述和分析变得非常复杂.引入了一个新的代数系统刻画具有多种密码运算的消息代数,并提出了一个新的密码协议模型,描述了无边界网络中的攻击模式,通过建立形式语言规范了无边界网络环境下密码协议的运行环境和安全性质.该协议模型描述了一种"协同攻击"模式,并讨论了密码协议的安全性分析约简技术,给出一个新的安全自动分析过程的简要描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	怀进鹏	北京航空航天大学计算机科学与工程系	86	2217	26.0	46.0
2	李先贤	北京航空航天大学计算机科学与工程系	22	506	11.0	22.0