基于串空间极小元理论的改进WooLam协议的认证性分析

基于串空间极小元理论的改善Woo-Lam合同的认证性分(淮北煤炭师范学院计算机科学与技术学院,淮北—Lain合同的认证部分进行认证式,基于串空间模型运用极小元理论对改善theauthenticatespartoftheimprovementWoo-Keywords:Strandspace;minimalmembers;authentication1串空间模型【l1习消息的集合,A中的元素称为项,tlct表达tl是t的子项.A是正文集合.KC_A是密钥集合,其中KNT=Rb.1.1串空间基本概念定义1符号项是一种二元组<or,a>,其中aeA且or={+,一1?^朗fsJ的整数;节点集合记为?,称节点s,i)于串s;定义term为((tr)S),即串S定义uns_term(n)=((tr(s))J:,即串S的迹中的第i边在S中的节点结合.定义<s为S的传递闭包,s为s自反传递闭包,关系<s和S为NsxNs定义5M:Textmessage:<+t>,t~TpF:Flusbing:<-g>T:Tee:<-g>+g,+g>收稿日期:—11—22—50C:Concatenation:<-S:Separationcomponents:<一gh,g,+h>K:Key:<+KwherKekv>E:Encryption:<-K,-h,+7h/D:Decrption:<-K-l,,一/hfb>,'Ek1.2定理1设C性,反对称性和传递性.丛CM1A—}BM2B—A:NBM3A—M4B---~S:{A,{NB}K^s}K是响应者曰通过认证服务器S认证发起者A.2.2解析.第一部分只是起到响应者B收集发起者A由M4和M5构成体也可能来自攻击者,但是响应者B可能来自正当主体A的信息提交给可信认证服务器s,S存在3种攻击方式:(1)是攻击者冒充合同主体A,B现象,因此在改善的Woo—Lain合同的M5A来避免.器s的身份,即与否存在唯一的认证服务器与响应者B3合同的串空间模型集合表达主体标示符集合,中的变量用B等表达;表达不是主体标示符的正文消息集合,该集合中的变量用N等字符表达;K中的变量用,K:<+K>示,映射K是单射,如XE,则函数K=K,集发起者A是S,其中元素sE?的迹为:<一/A//K/s,+M/K.4命题1(1)是一种Woo—lain合同的认证部分串空间,C的一种丛,s是一种Resp[A,B,S,G]C-heightfsJ=5;(3)于是,C中包含唯一的服务器串Serv[A,B,S,,且C—收到fA_?B/s,将这个节点记为n,,它的项记为v,.引理1N来源证明由于c『A7%//KVo,且no=<S,1>NR来源/lOo(AVOterm(nj),故njE5,因此s为非空集合.根据定理可知,s中最少有一种极小元n2,由定理2,不能位于F,T,K,C<+其中拒因此必然有f:,%E:<一K,,+/h/>,如果n2位于此串上,则{_}1}^{h}由于%?{h},因此%ch.如果h,则VoC{h}I与vo~{h}矛盾,如果h,那么与刀的极小性相矛盾.因此I1.不可能位于ED:(-j,,一7h,>,这里K-,E,如果n2串上,由n2的极小元性质,%ch^_b且{h},由vo=_/a,?B}}可知h=A{}^K因此Kr~kl,,与命题1假设(2)D串上.密互斥能够得?,因此voCh.通过分析得出%Cg^g,voCh.令2Acterm(m)},从定义6T中每个元素都是知T中存在一种极小元in,再由定理2可知m=fe册(m),因此refill((p,J>)=term(n且<p,J>n2,与在5引理3存在一种串t上的节点n2的前驱节点nJ,且term证明由引理1知?日来源于nO,且由命题1假设(3)?R在中是唯一来源的.由于voCterm(no)且Voterm(J】因此n2#no且%不来源于n2.从而在串t上存在一种n2驱节点11.,使得%cterm(n.由n2的极小性/cterm(n.从定义1/K~term(n,引理4包含n和n2的正则串t是一种丛C证明节点n点u,含有形式{x{M}}},其中YE.如果t是一种响应者串,则在形如{X{M}}的最后一种节点包含在丛c中,故有C-height(0=2.5丛存在唯一的服务器串t.B与可信认证服务器S_+k是单射,即如果一,则函数K):且函数{A}KRs来自唯一的服务器串根据命题l的证明能够看出改善后的Woo—LamLam合同的分析及改善[J].计算机科学,,36(4B):206-218.卿斯汉.安全合同【M】.北京:清华大学出版社,:9800.M'3=9一(2+4)=3.输出的下一种排列是2403,它正是第83实际代码编写过程中,对于k?0,(r=l,2….X=input(spot=length(T_line);fori=(1ength(r_line)-1):-—T_vector=x((spot+1):length(a));T_Vector=zeros(1,length(T—Vector));if