期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
大型复杂协议的形式化分析方法研究
1
作者 赵娟 韩继红 +1 位作者 王亚弟 黄卿 《计算机工程与设计》 CSCD 北大核心 2009年第18期4207-4210,共4页
大型复杂协议的形式化分析是目前研究的一个热点和难点。根据所采用技术的特点,将大型复杂协议的形式化分析方法分为基于逻辑推理的方法、基于模型检测的方法、基于定理证明的方法和基于进程代数的方法,并简要介绍了各类方法的代表性方... 大型复杂协议的形式化分析是目前研究的一个热点和难点。根据所采用技术的特点,将大型复杂协议的形式化分析方法分为基于逻辑推理的方法、基于模型检测的方法、基于定理证明的方法和基于进程代数的方法,并简要介绍了各类方法的代表性方法及验证器,最后对各类方法的特点进行分析和比较。指出达式大型复杂协议的形式化分析方法未来的一个研究重点,修改原有方法或设计一种新的方法,使其既易自动化实现,又能用于复合协议的分析和验证。 展开更多
关键词 大型复杂协议 形式化方法 逻辑推理 模型检测 定理证明 进程代数
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部