基于扩展消息子句关系的不变集表示.pdfVIP

2005年中国模糊逻辑与计算智能联合学术会议论文集 19 基于扩展消息子句关系的不变集表示 王焕宝，张佑生，侯整风 摘要：指出串空间模型中消息子句关系的局限性，并通过引入映射fKXBnJ—B，扩展了该消息子句关系。扩展消 息子句关系可以修补由消息子句关系引起的原模型缺陷。在扩展消息子句关系下，给出子句不变集表示，并论证理想 诚实性判定定理具有保持原有描述形式不变的特点。 关键词：子句关系；不变集；理想；串空间 Based DenotationofInvariant．setsontheExtendedSub．term Relations Ⅵ，ANG Huan—bao,ZHANG You—sheng．HoUZheng—静ng of ScienceInformation of 230009．Email： (SchoolComputer Technology,HefeiUniversityTechnology,Hefei wanghuanbao@yahoo．tom．cnl Abstract：Theflawsofthesub—termrelationsinstrand arefound the spaces out．Bydefiningmapping，K×B”1一B，me extendedsub·-termrelationstoamendthe sub··termrelationsthat forthdeficienciesinthestrand modelis original bnng space theextendedsub·term denotationofinvariant—setsis itisalsodemonstratedthatthe got．Under relations，the given，and decidabletheoremforthe ofidealsstillholdsitselfasits honesty description． Relations，Invariant-sets，Ideal，Strand Keywords：Sub—Term Spaces Protocol 一种基于密码协议代数【2】(Cryptographic Algebra，CPA)的安全性分析方法。 1 引 言 串空间模型定义理想(ideal)为其密码协议主体 安全的密码协议是网络通信和应用必不可少的 过该代数结构来描述攻击者攻击行为的能力界限，从 组件之一。如何设计出安全、有效的密码协议以及如 而将密码协议的形式化分析规约为代数系统的不变 何分析密码协议的安全性等课题是近年来信息安全 领域的研究热点。自20世纪70年代末以来，密码协定义了最小子旬(subterm)关系，并给出了理想的诚 议形式化分析主要出现了三类方法：①基于模态逻辑 实性判定定理。该模型可用于认证协议的对应性和秘 的推理方法；②基于模型的状态检验方法；③基于定 密性证明。但是，如果将该模型用于分析消息语句中 理证明的密码协议安全性证明方法。前两类方法可以 Authentication 包含MAC(Messa