密码协议安全性质研究  

Survey on security properties of cryptographic protocols

作　　者：黄卿[1] 王亚弟[1] 韩继红[1] 李大海[1] 

机构地区：[1]信息工程大学电子技术学院,河南郑州450004

出　　处：《计算机工程与设计》2010年第16期3604-3607,共4页Computer Engineering and Design

摘　　要：针对密码协议安全性质研究存在的问题,基于协议的运行过程——协议运行迹研究了一般秘密性、猜测攻击、强秘密性、完美前向秘密性、已知密钥攻击、新鲜性和完整性。分析了各个安全性质的具体含义,并对其进行了形式化定义,指出了为保证这些安全性质协议运行迹需满足的条件,并分析了不同秘密性之间的关系。最后实例研究结果表明,定义是正确且有效的。Aimed at the problems in analyzing the security properties of cryptographic protocols,on security,guess attacks,strong security,perfect forward security,known-key attacks,freshness and integrity based on protocol trace is researched,which denotes the run of the protocol.The implications of the properties are studied,then the formal definitions are given,which point out the conditions that the protocol trace must satisfy,and the relations between different notions of secrecy are analyzed.In the end,examples are given to validate the correctness and effectiveness of the definitions.

关 键 词：密码协议 猜测攻击 秘密性 新鲜性 完整性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]