###
DOI:
Journal of Software:2000.11(12):1660-1665

类BAN逻辑基本模型及缺陷
许剑卓,戴英侠,左英男
(中国科学技术大学研究生院 信息安全国家重点实验室,北京, 100039)
The Model and Its Defects of BAN Family of Logic
XU Jian-zhuo,DAI Ying-xia,ZUO Ying-nan
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2884   Download 2678
Received:June 25, 1999    Revised:September 21, 1999
> 中文摘要: 类BAN逻辑是一种用于分析密码协议安全性的逻辑.在分析了BAN,AT,MB,GNY,SVO等类BAN逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷.首先把类BAN的模型抽象出来,形成一个五元组模型,然后分析该模型的各个要素,并依据该模型对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题.
中文关键词: 密码协议  BAN逻辑  缺陷
Abstract:BAN family of logic is used to analyze the security of cryptographic protocols. Five logics in the BAN family of logic are analyzed, including GNY, AT91, MB, SVO and BAN logic itself. Many defects of BAN family of logic are presented, including some defects found in research. A model is presented to describe the BAN family of logic first. And then the defects of BAN family of logic are classified according to this model. Some problems concerning BAN family of logic are presented in order to stimulate further research.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

许剑卓,戴英侠,左英男.类BAN逻辑基本模型及缺陷.软件学报,2000,11(12):1660-1665

XU Jian-zhuo,DAI Ying-xia,ZUO Ying-nan.The Model and Its Defects of BAN Family of Logic.Journal of Software,2000,11(12):1660-1665