| 基于PCL的改进型Helsinki协议的形式化分析 |
| |
| 引用本文： | 鲁来凤,吴振强,马建峰.基于PCL的改进型Helsinki协议的形式化分析[J].华中科技大学学报(自然科学版),2011(4):53-55. |
| |
| 作者姓名： | 鲁来凤 吴振强 马建峰 |
| |
| 作者单位： | 西安电子科技大学计算机网络与信息安全教育部重点实验室;陕西师范大学a数学与信息科学学院;陕西师范大学计算机科学学院; |
| |
| 基金项目： | 国家自然科学基金重点资助项目(60633020);国家自然科学基金资助项目(60573036,60671063); 国家高技术研究发展计划资助项目(2007AA01Z429,2007AA01Z405); 陕西省自然科学基金资助项目(2009JM8002) |
| |
| 摘 要： | 针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.
|
| 关 键 词： | 协议分析 安全协议 形式化方法 协议组合逻辑 Helsinki协议 形式化描述 |
Formal analysis of improved Helsinki protocol through PCL |
| |
| Lu Laifeng,a Wu Zhenqiangb Ma Jianfeng.Formal analysis of improved Helsinki protocol through PCL[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2011(4):53-55. |
| |
| Authors: | Lu Laifeng a Wu Zhenqiangb Ma Jianfeng |
| |
| Institution: | Lu Laifeng1,2a Wu Zhenqiang2b Ma Jianfeng1 |
| |
| Abstract: | |
| |
| Keywords: | protocol analysis security protocol formal methods protocol composition logic Helsinki protocol formal specification |
| 本文献已被 CNKI 等数据库收录！ |
