%0 Journal Article
%T Design and Logical Analysis of Security Protocols<br>安全协议的设计与逻辑分析
%A QING Si-Han
%A <br>卿斯汉
%J 软件学报
%D 2003
%I 
%X With the rapid growth of network applications, network security has become an important issue. In this paper, the following issues are investigated: the design principles of security protocols, the use of formal methods in the design of security protocols, the characteristics of various approaches to formal analysis, in particular logical analysis. The strand space approach to logical analysis, and the possibility of the strand space model guiding the formal design of security protocols are also explored.
%K security protocol
%K design
%K logical analysis
%K BAN-like logic
%K strand space<br>安全协议
%K 设计
%K 逻辑分析
%K BAN类逻辑
%K 串空间
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=02D306BD75A6DBB0&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=DF92D298D3FF1E6E&sid=A903BA7BF48F47AE&eid=A2484BFF38B01808&journal_id=1000-9825&journal_name=软件学报&referenced_num=47&reference_num=40