您当前的位置:www.7366.com > www.92455.com > www.92455.com
平安战谈的等价性问题

发布日期: 2019-07-23     浏览历史次数:

  第33卷 伯£33 第19期 No.19 计较机工程 Computer Engineering 文章编号l 10伽---3428(2007)19--41045---02 文献标识码t A 2007年10月 October 2007 中沉分类号I 11,3∞ -博士论文? 平安和谈的等价性问题 器祥牮1,钶大可2 (1.昆王大学消息工程取从动化学院,昆晴650051;2.西南垒制大学消息平安取国度计较蚋格尝试室,成都6/0031) 奠娶:研究了安垒和谈的等价性问题,提出了平安和谈等价的概念。把每个平安和谈的动静和方针别离形式化为表达式集,通过一个算 {岳分剐求各轰选式调集的最一般代换。若是最一般代换都存正在,申明平安和谈是等价的,反之则申明平安协汪是不等价的?操纵平安和谈 调集上的等价关系,能够划分出平安和谈等价类,从而碱少了需研究的平安和谈的数量。 关t浔:平安和谈;等价;表达式;最一般代换 Equivalence Problem of Security Protocol MIAO Xiang-hual,HE Da.kez f1.SchoolofhlforfflationEngineering&Automation,KunmingUniyersityofScience andTechnology,Kunmin9650051 2.Laboratory ofIaformationSecurity andNationalComputingGrid,SouthwestJiaotongUniversity,Chengdu 610031) IAbstractl Thispaper re.arches and goals by all oll equivalence problem of security protocol different set and presentsthe notion of security protocolequivalence.Messages ofcachⅫttrityprotocol∽formalizedwith On ofexpression,thenmostgeneral substituteofthe setofexpression can be solvcd age algcfithm.1f血eI亡crests mⅫgeneral substitute,security pmwcols equivalent.Ol"security protocols are not equivalent.According∞the equivalence relation decreascd theⅫof security protoc01.eqalvalet’ce class of Secalrity protocol is divided,,so amount of researching security protocol is IKey wordsl security protocol;equivalence;expression;most general substitute 平安和谈的研究曾经有20多年的汗青了,虽然锰多学者 对平安和谈的形式化阐发和形式化设想进行了深切的研究, 但一直设有能很好地处理平安协}义的问题。正在平安和谈的形 式化阐发方面,目上次要有3种研究方式:基于BAN类逻辑 的推理方式”1,基于布局的阐发方式”’和基于证明布局 的阐发方式”1;而对于平安和谈的形式化设想方面,次要有4 种方式:基于BAN类逻辑的方式,基于模墅的方式,基于自 动机的方式和基于串空间的方式。以上方式各有其优错误谬误, BAN类逻辑易于撵做,易于实现从动化。但语义不清晰;基 于布局的方式搜刮空间太大;基于证明布局的方式操做 比力坚苦,并且几乎全鄢要甩手工来完成;基于模子的方式 缺乏可操做性;基于从动机的方式只是一个理论模子;基于 串空阔的认证测试方式147需要选择各类测试,对于若何选择 测试缺乏一个同一的尺度一。 ’。 (__lf..v)pair {MIx encryption(Ke Keys) Keys(M)暗示所有的密钥感化到M上获得的调集; Ciphers暗示所有的密文调集。 定义2(子表达式)一千表达式X的子表达式Sub(X)定 义为 f {置l,x=K∈Keys s曲(x);{舶占(肼)u曲{B6}(.ⅣX)=uB“M6 【 ⅣEM? B,Ⅳlo)clks,x:(肘,Ⅳ) Sub(M)U({肼l。J.x=l吖}‘ 当N∈Sub(M)时,称.Ⅳ是膨的子表达式,暗示为 定义3(无效表达式)无效表达式调集凸孤是表达式 Exps的子集,需满脚下面的前提: 。 对于同样的和谈方针,实现的体例能够有良多种,如何 才能判断两个平安和谈是等价的?该问题的处理能够削减需 要研究的平安和谈的数目。因而,奉文次要针对平安和谈等 价的问题进行研究,给出平安{办谩等价的鉴定。 (I)KeysE却r?Blocksc£聊; (2)若是M∈E惭,x EM,那么xE E聃; (3)若是ME脚,,xEM,Y∈M,那么(x,r)E£矾,。 定义4(无效密文集音)对于给定的一个F—vpv,无效密文 1根基概念 定义l(表述式)设Keys暗示密钥的调集,即 Keys={Kx,如,玛,…},Blocks暗示非空的无限位审的子集; 调集Ciphersv定义为c毋k吼=c枷f腰nExpv。‘ 定义5(无效表达式的代换)M E£矾,,定义M a盯为有 效表达式M颠末代按盯感化后获得的无效表达式。空代换用 £暗示,M。}=M。 柞者简介:嚣祥华(1盯2一),男,、博士,从研标的目的:消息平安 Blockse{o,1}’;pair暗示敌手;Ⅲk暗示用K加密M。表 达式集台Keys能够定义为 Ⅳ.N:≯ K B key(K∈Keys) bf

  平安和谈的等价性问题_电子/电_工程科技_专业材料。研究了平安和谈的等价性问题,提出了平安和谈等价的概念.把每个平安和谈的动静和方针别离形式化为表达式集,通过一个算法别离求各表达式调集的最一般代换.若是最一般代换都存正在,申明平安和谈是等价的,反之则申明平安和谈是不等价的.操纵平安和谈调集上的等价关系,能够划分出平安和谈等价类,从




友情链接:

Copyright 2019-2022 http://www.bjhjpm.com.cn 版权所有 未经协议授权禁止转载