黑龙江科技信息
黑龍江科技信息
흑룡강과기신식
HEILONGJIANG SCIENCE AND TECHNOLOGY INFORMATION
2009年
28期
98-99
,共2页
BAN逻辑%Yahalom协议%缺陷%逻辑分析
BAN邏輯%Yahalom協議%缺陷%邏輯分析
BAN라집%Yahalom협의%결함%라집분석
BAN类逻辑是一款非常优秀的形式化分析工具.它能够帮助设计和分析各种安全协议.介绍了BAN逻辑的产生、构建、分析步骤,指出BAN逻辑现存在的缺陷.同时用BAN逻辑形式化分析了Yahalom协议.
BAN類邏輯是一款非常優秀的形式化分析工具.它能夠幫助設計和分析各種安全協議.介紹瞭BAN邏輯的產生、構建、分析步驟,指齣BAN邏輯現存在的缺陷.同時用BAN邏輯形式化分析瞭Yahalom協議.
BAN류라집시일관비상우수적형식화분석공구.타능구방조설계화분석각충안전협의.개소료BAN라집적산생、구건、분석보취,지출BAN라집현존재적결함.동시용BAN라집형식화분석료Yahalom협의.
