%0 Journal Article
%T The Model and Its Defects of BAN Family of Logic<br>类BAN逻辑基本模型及缺陷
%A XU Jian-zhuo
%A DAI Ying-xia
%A ZUO Ying-nan
%A <br>许剑卓
%A 戴英侠
%A 左英男
%J 软件学报
%D 2000
%I 
%X 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.
%K cryptographic protocol
%K BAN logic
%K defect<br>密码协议
%K BAN逻辑
%K 缺陷
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=EDD3B147E6D37E5F&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=59906B3B2830C2C5&sid=14DD4EE1ABB958C5&eid=EDB832473B2BA2DF&journal_id=1000-9825&journal_name=软件学报&referenced_num=3&reference_num=10