电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2010年
15期
4260-4262
,共3页
安全协议%形式化分析%CS逻辑%自动化分析工具
安全協議%形式化分析%CS邏輯%自動化分析工具
안전협의%형식화분석%CS라집%자동화분석공구
基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具.实验表明该工具具有应用方便、分析效率高的特性,且能够有效避免分析过程中的状态空间爆炸问题.
基于CS邏輯,對其在自動化實現上存在的不足進行擴展,使用prolog人工智能語言設計併實現基于改進CS邏輯的自動化分析工具.實驗錶明該工具具有應用方便、分析效率高的特性,且能夠有效避免分析過程中的狀態空間爆炸問題.
기우CS라집,대기재자동화실현상존재적불족진행확전,사용prolog인공지능어언설계병실현기우개진CS라집적자동화분석공구.실험표명해공구구유응용방편、분석효솔고적특성,차능구유효피면분석과정중적상태공간폭작문제.
