%0 Journal Article
%T Layer-based Model for Security Protocol Authentication<br>基于分层的网络安全协议验证方法
%A ZHANG Lei
%A HOU Jun-feng
%A HUANG Lian-sheng
%A <br>张磊
%A 侯俊峰
%A 黄连生
%J 计算机应用研究
%D 2005
%I 
%X This paper presents a new layer-based method for the verification of security protocols. Firstly, it shows how to divide a security property which a protocol should respect into several sub-properties. Then, without changing its security prope rty, transform the protocol we want to prove safe and divide it into a multi-layer protocol in a way there are as many sub-layers as sub-properties. If ever y sub-layer can be proved to respect the property of a sub-destination, it can d raw the conclusion that the whole protocol also respects the initial property, in other words, the protocol is guaranteed to be secure. Compared with traditional verification method, this method is not only more efficient but also more complete.
%K Security Protocol
%K Layer-based
%K Authentication Method<br>安全协议
%K 层次化
%K 验证方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=9E9AAE42B0F80999&yid=2DD7160C83D0ACED&vid=BC12EA701C895178&iid=DF92D298D3FF1E6E&sid=475189FCB44F11F6&eid=769BD58726D66E7D&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=1&reference_num=19