密码协议的代数模型及其安全性  

作　　者：怀进鹏[1] 李先贤[1] 

机构地区：[1]北京航空航天大学计算机科学与工程系,北京100083

出　　处：《中国科学（E辑）》2003年第12期1087-1106,共20页Science in China(Series E)

基　　金：国家自然科学基金(批准号:60073006);国家"八六三"高技术研究发展计划(2001AA144150)资助项目

摘　　要：引入了一个新的代数系统——称为密码协议代数(cryptographic protocolalgebra,CPA),刻画具有多种密码运算的消息代数性质,并基于CPA提出了一个新的密码协议代数模型.模型中,用子代数、自由生成元和多项式代数等概念刻画主体的知识扩张过程,并用类似于代数中的正合序列概念描述了密码协议的攻击过程,从而为密码协议的安全性分析建立了一种数学方法.基于这个模型,利用代数的技巧证明了对于具有一定对称性的协议,任意多主体参与运行的协议安全性分析可归结为几个主体与攻击者参与的协议安全性分析.研究了密码协议安全的一致性问题,给出了两个协议合成保持安全性的一个充分条件,并提供两个安全的密码协议的合成安全的例子,推广了相关工作.

关 键 词：代数模型 密码协议 形式化分析 信息安全 分布式系统 

分 类 号：TN918.1[电子电信—通信与信息系统]