10.3969/j.issn.1009-3044.2010.15.178
改进CS逻辑的自动化分析工具实现
基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具.实验表明该工具具有应用方便、分析效率高的特性,且能够有效避免分析过程中的状态空间爆炸问题.
安全协议、形式化分析、CS逻辑、自动化分析工具
6
TP311(计算技术、计算机技术)
河南省青年骨干教师资助计划,河南省重点科技攻关项目072102210029;河南工业大学高层次人才基金项目2007BS019;科研基金项目资助07XGG030、08XZZ022
2010-08-10(万方平台首次上网日期,不代表论文的发表时间)
共3页
4260-4262