%0 Journal Article
%T Novel Security Protocol and Strand Space Analysis<br>一种新的安全协议及其串空间模型分析
%A PI Jian-yong
%A YANG Le
%A LIU Xin-song
%A LI Ze-ping
%A <br>皮建勇
%A 杨雷
%A 刘心松
%A 李泽平
%J 计算机科学
%D 2010
%I 
%X We proposed a novel PJY identity authentication and key agreement security protocol based on computational difficulty of discrete logarithm in finite field.The PJY security protocol can validate identity of the both parties with two session,and generate peer session key.We analyzed the correctness of the security protocol on strand space model.First we constructed infiltrate strand space,and proved the PJY security protocol has injective agreement and secrecy by authentication tests under arbitrary penetrat...
%K PJY security protocol
%K Strand space
%K Authentication tests
%K Injective agreement
%K Secrecy<br>PJY安全协议
%K 串空间模型
%K 认证测试
%K 单射一致性
%K 机密性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=54313EE89C0E7FBBCFAF96BDD6D91962&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=CA4FD0336C81A37A&sid=7F5DDA4924737DF5&eid=CDEBD1ACE0A4C1C1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=6