电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2011年
8期
1761-1763
,共3页
安全协议%形式化分析%BAN类逻辑%环境模型%完整性
安全協議%形式化分析%BAN類邏輯%環境模型%完整性
안전협의%형식화분석%BAN류라집%배경모형%완정성
BAN类逻辑是安全协议形式化分析的一种重要方法.BAN类逻辑都是以BAN逻辑为基础发展起来的.通过对BAN逻辑的研究得出了BAN类的两个重要缺陷,缺少环境模型和缺少完整性分析,并指出了下一步研究的方向.
BAN類邏輯是安全協議形式化分析的一種重要方法.BAN類邏輯都是以BAN邏輯為基礎髮展起來的.通過對BAN邏輯的研究得齣瞭BAN類的兩箇重要缺陷,缺少環境模型和缺少完整性分析,併指齣瞭下一步研究的方嚮.
BAN류라집시안전협의형식화분석적일충중요방법.BAN류라집도시이BAN라집위기출발전기래적.통과대BAN라집적연구득출료BAN류적량개중요결함,결소배경모형화결소완정성분석,병지출료하일보연구적방향.
