科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2012年
18期
133-134
,共2页
类BAN逻辑%缺陷%符号语义%消息法则%理想化方法
類BAN邏輯%缺陷%符號語義%消息法則%理想化方法
류BAN라집%결함%부호어의%소식법칙%이상화방법
类BAN逻辑是一种用于分析密码协议安全性的逻辑.文章分析了各种类BAN逻辑的缺陷,并对其进行了详细的分类描述,最后指出进一步发展类BAN逻辑需要解决的问题.
類BAN邏輯是一種用于分析密碼協議安全性的邏輯.文章分析瞭各種類BAN邏輯的缺陷,併對其進行瞭詳細的分類描述,最後指齣進一步髮展類BAN邏輯需要解決的問題.
류BAN라집시일충용우분석밀마협의안전성적라집.문장분석료각충류BAN라집적결함,병대기진행료상세적분류묘술,최후지출진일보발전류BAN라집수요해결적문제.
