%0 Journal Article
%T 类ban逻辑基本模型及缺陷
%A 许剑卓？
%A 戴英侠？
%A 左英男？
%J 软件学报
%P 1660-1665
%D 2000
%X 类ban逻辑是一种用于分析密码协议安全性的逻辑.在分析了ban,at,mb,gny,svo等类ban逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷.首先把类ban的模型抽象出来，形成一个五元组模型，然后分析该模型的各个要素，并依据该模型对类ban逻辑的缺陷进行分类，最后指出进一步发展类ban逻辑应解决的问题.
%K 密码协议
%K ban逻辑
%K 缺陷
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20001215&flag=1