%0 Journal Article
%T Improvement of authentication test based on strand spaces model<br>串空间模型及其认证测试方法的一种扩展与应用
%A FANG Yan-ping
%A ZHANG Xiao-fang
%A ZHANG Guang-quan
%A College of Computer Science
%A Technology
%A Suzhou University
%A Suzhou Jiangsu
%A China
%A School of Mathematics
%A Computer Science
%A Chongqing Normal University
%A Chongqing
%A <br>方燕萍
%A 章晓芳
%A 张广泉
%J 计算机应用
%D 2008
%I 
%X Authentication test is a formal method of verifying the security protocols based on strand space model. However, it hardly analyzes some complex security protocols on account of its poor cryptographic primitives. Theory of strand spaces model and corresponding authentication test were extended by extending the message term, the in-term relation and penetrator's model. SSL3.0 handshaking protocols were analyzed with the proposed approach, and the properties of authentication were verified.
%K strand spaces model
%K authentication test
%K SSL3
%K 0 handshaking protocol
%K property of authentication
%K cryptographic primitives<br>串空间模型
%K 认证测试
%K SSL3.0握手协议
%K 认证属性
%K 密码学原语
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=AF81438C418163FB9C567BD25761EE61&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=59906B3B2830C2C5&sid=69B79AFFE576C0B3&eid=D3B978E5415EE417&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=6