文献类型：期刊文章

作　　者：韩金淑[1] 张浩军[1]

HAN Jin-shu, ZHANG Hao-jun (Computer Engineering Department, College of Information Science and Technology, Henan University of Technology, Zhengzhou 450001, China)

机构地区：[1]河南工业大学信息科学与工程学院计算机工程系

出　　处：《电脑知识与技术（过刊）》

基　　金：河南省青年骨干教师资助计划;河南省重点科技攻关项目(编号:072102210029);河南工业大学高层次人才基金项目(编号:2007BS019);科研基金项目资助(编号:07XGG030、08XZZ022)资助

年　　份：2010

卷　　号：0

期　　号：15

起止页码：4260-4262

语　　种：中文

收录情况：普通刊

摘　　要：基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具。实验表明该工具具有应用方便、分析效率高的特性,且能够有效避免分析过程中的状态空间爆炸问题。

关 键 词：安全协议 形式化分析 CS逻辑  自动化分析工具  

分 类 号：TP311.52[计算机类]