大型复杂协议的形式化分析方法研究

• 作者: 王亚弟 赵娟 韩继红 黄卿
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 大型复杂协议 形式化方法 逻辑推理 模型检测 定理证明 进程代数
• 年，卷（期）: 2009,（18）
• 所属期刊栏目: 信息安全技术
• 页码范围: 4207-4210
• 页数: 4页
• 分类号: TP309
• 字数: 5390字
• 语种: 中文

摘要

大型复杂协议的形式化分析是目前研究的一个热点和难点.根据所采用技术的特点,将大型复杂协议的形式化分析方法分为基于逻辑推理的方法、基于模型检测的方法、基于定理证明的方法和基于进程代数的方法,并简要介绍了各类方法的代表性方法及验证器,最后对各类方法的特点进行分析和比较.指出迭式大型复杂协议的形式化分析方法未来的一个研究重点,修改原有方法或设计一种新的方法,使其既易自动化实现,又能用于复合协议的分析和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	信息工程大学电子技术学院	47	175	7.0	10.0
2	韩继红	信息工程大学电子技术学院	34	264	7.0	15.0
3	赵娟	信息工程大学电子技术学院	1	0	0.0	0.0
4	黄卿	信息工程大学电子技术学院	2	1	1.0	1.0