%0 Journal Article
%T Analysis of Authentication Protocols Based on Strand Space and State Transition<br>基于串空间和状态转换的认证协议分析方法
%A DENG Miao-Lei
%A QIU Gang
%A ZHOU Li-Hua
%A <br>邓淼磊
%A 邱罡
%A 周利华
%J 计算机科学
%D 2007
%I 
%X Strand space is a new formal model for the analysis of security protocols.Precise though they are,theory testifies in the strand space model are difficult.Firstly,based on the strand space model,the state of system is de- fined.Secondly,analysis process of transitions between system states is explained by the example of Needham-Schroe- der-Lowe public key authentication protocol.Investigating nonces in transitions between system states,we draw some significant conclusions.Finally,the security of Needbam-Schroeder-Lowe protocol is validated.This new method for analyzing authentication protocols is simple and efficient,and it is prone to be automated.
%K Strand space
%K Authentication protocol
%K State transition
%K Nonce<br>串空间
%K 认证协议
%K 状态转换
%K 现实
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C8AADC22A3A14106&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=F3090AE9B60B7ED1&sid=6700D0D256586E73&eid=10F298ED9F164662&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12