| 密码协议安全性证明系统解析器的设计与实现* |
| |
| 引用本文： | 李安乐,陈楠,顾纯祥,祝跃飞.密码协议安全性证明系统解析器的设计与实现*[J].计算机应用研究,2010,27(9):3529-3532. |
| |
| 作者姓名： | 李安乐 陈楠 顾纯祥 祝跃飞 |
| |
| 作者单位： | 解放军信息工程大学,信息工程学院,郑州,450002 |
| |
| 基金项目： | 国家“863”计划资助项目(2007AA01Z471) |
| |
| 摘 要： | 可证明安全性是密码协议安全性评估的重要依据，但手写安全性证明容易出错且正确性难以判定，利用计算机辅助构造游戏序列进而实现自动化证明是当前一种可行的方法。为此提出一种基于进程演算的密码协议形式化描述模型，定义了描述密码协议安全性证明中攻击游戏的语法规则，并借助工具LEX和YACC，设计出解析器程序，将密码协议及其安全性的形式化描述解析为自动化安全性证明系统的初始数据结构，并用实例来说明这种方法的可行性。
|
| 关 键 词： | 可证明安全 自动化 进程演算 |
Design and implementation parser of provable security system for security protocols |
| |
| LI An-le,CHEN Nan,GU Chun-xiang,ZHU Yue-fei.Design and implementation parser of provable security system for security protocols[J].Application Research of Computers,2010,27(9):3529-3532. |
| |
| Authors: | LI An-le CHEN Nan GU Chun-xiang ZHU Yue-fei |
| |
| Abstract: | |
| |
| Keywords: | provable security automatic process calculus |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
