| 大型复杂协议的形式化分析方法研究 |
| |
| 引用本文： | 赵娟,韩继红,王亚弟,黄卿. 大型复杂协议的形式化分析方法研究[J]. 计算机工程与设计, 2009, 30(18) |
| |
| 作者姓名： | 赵娟 韩继红 王亚弟 黄卿 |
| |
| 作者单位： | 信息工程大学,电子技术学院,河南,郑州,450004;信息工程大学,电子技术学院,河南,郑州,450004;信息工程大学,电子技术学院,河南,郑州,450004;信息工程大学,电子技术学院,河南,郑州,450004 |
| |
| 摘 要： | 大型复杂协议的形式化分析是目前研究的一个热点和难点.根据所采用技术的特点,将大型复杂协议的形式化分析方法分为基于逻辑推理的方法、基于模型检测的方法、基于定理证明的方法和基于进程代数的方法,并简要介绍了各类方法的代表性方法及验证器,最后对各类方法的特点进行分析和比较.指出迭式大型复杂协议的形式化分析方法未来的一个研究重点,修改原有方法或设计一种新的方法,使其既易自动化实现,又能用于复合协议的分析和验证.
|
| 关 键 词： | 大型复杂协议 形式化方法 逻辑推理 模型检测 定理证明 进程代数 |
Methods for formal verification of large and complicated protocols |
| |
| ZHAO Juan,HAN Ji-hong,WANG Ya-di,HUANG Qing. Methods for formal verification of large and complicated protocols[J]. Computer Engineering and Design, 2009, 30(18) |
| |
| Authors: | ZHAO Juan HAN Ji-hong WANG Ya-di HUANG Qing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
