科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2010年
9期
10-11,7
,共3页
BAN类逻辑%自动化分析工具%Prolog语言
BAN類邏輯%自動化分析工具%Prolog語言
BAN류라집%자동화분석공구%Prolog어언
BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性.使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实验表明工具能够严谨、高效地分析安全协议的正确性及认证性等安全属性.
BAN類邏輯廣汎應用于安全協議分析,具有簡潔性和易用性.使用Prolog人工智能語言設計開髮瞭基于BAN類邏輯協議的自動化分析工具,實驗錶明工具能夠嚴謹、高效地分析安全協議的正確性及認證性等安全屬性.
BAN류라집엄범응용우안전협의분석,구유간길성화역용성.사용Prolog인공지능어언설계개발료기우BAN류라집협의적자동화분석공구,실험표명공구능구엄근、고효지분석안전협의적정학성급인증성등안전속성.