| 关于安全协议的形式化分析方法的研究 |
| |
| 作者姓名： | 亓文华 张其善 刘建伟 |
| |
| 作者单位： | 北京航空航天大学电子信息工程学院，北京航空航天大学电子信息工程学院，北京航空航天大学电子信息工程学院 北京 100083，北京 100083，北京 100083 |
| |
| 基金项目： | 国家自然科学基金项目(60573003)《可信计算体系结构研究》 |
| |
| 摘 要： | 对安全协议的形式化分析方法从历史发展和思想体系上作出分类和分析。以历史发展为线索将安全协议形式化分析方法分为四个阶段,基于观察分析的早期阶段、以BAN(Burrows,Abadi,Needham)逻辑为代表的初期阶段、基于模型检测的转折阶段和以串空间理论为代表的证明阶段。对安全协议四个阶段形式化分析方法的特点和优、缺点作了总结。分析结果为密码协议的研究人员提供一个借鉴。
|
| 关 键 词： | 安全协议 形式化分析 Dolev-Yao模型 |
Research on the Formal Analysis Method of Security Protocols |
| |
| Authors: | Qi Wenhua Zhang Qishan Liu Jianwei |
| |
| Institution: | Qi Wenhua Zhang Qishan Liu Jianwei |
| |
| Abstract: | The formal analysis method for security protocols is classified and analyzed based on the history.The formal analysis is clas- sified in four sorts including the forepart phase based on the observation,the early phase based on the BAN logic,the turning phase based on the model detecting and the attesting phase based on Strand Space.Authors survey the characteristic of the formal analysis method on se- curity protocols,describe the merits and flaws.The analysis method and result can he used for a reference to security protocol researchers. |
| |
| Keywords: | Security protocol Formal analysis Dolev-Yao model |
| 本文献已被 CNKI 等数据库收录！ |
