%0 Journal Article
%T Noteson<br>关于“为设计认证协议的一个简明逻辑”一文的注记
%A JI Qing guang
%A FENG Deng guo
%A <br>季庆光
%A 冯登国
%J 软件学报
%D 2001
%I 
%X Buttyan et al. proposed a simple logic and used it to revise Woo Lam protocol; without proving, they claimed that revised protocol is resistant against the interaction attacks between a protocol and itself. In this paper, in order to show that their results are incorrect, two different attacks on revised protocol are found out and set out in detail for their implementations. The fashions to construct the two attacks are essentially analogous to the ones described by Debbabi etc. except more complicated than them,The further analysis show that the logic of Buttyan etc.has no enough capacity to sufficiently capture protocol flaws,which stem from interaction of protocol itself.This logic needs to be improved.
%K protocol
%K interaction attack
%K security
%K modal logic
%K analysis<br>协议
%K 交互攻击
%K 安全性
%K 模态逻辑
%K 分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=413C89AEE00E2028&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=708DD6B15D2464E8&sid=1593278DEEDA4D8F&eid=A7E1C896834B988A&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=10