一种多项式时间复杂度的密码协议秘密性验证方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jingjing17_
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的密码协议的秘密性验证算法,该算法的时间复杂度是多项式时间的,从而简化了秘密性验证过程,文中最后,作为实例,给出了TMN密码协议的秘密性验证.
其他文献
本文讨论了将数据融合技术运用到入侵检测系统中的方法,并提出了一个基于数据融合技术的入侵检测机制--DFIDM.本文重点研究了数据提取和对象提取过程中的时空一致性问题,在该
沉积环境控制着煤层气生成和储集的物质基础,同时影响煤层气成藏的储盖组合。研究区含煤层系主要是"石炭系本溪组和二叠系太原组。通过岩性、电测、粒度分析以及化石等综合分
本文基于PKI(Public Key Infrastructure)提出了一个防欺诈的密钥托管方案,并提出了密钥托管分配机制.由于该方案的秘密共享采用基于状态树的(t,n)秘密共享,所以具有计算量小
在移动agent环境下,agent的移动为应用程序的开发提供了更灵活的通信处理方式,但也同时对通信算法的设计提出了许多挑战,其中最突出的就是由于消息传输和agent移动之间的异步
现有的Web服务只能被单独调用,不能提供复杂的组合服务.文中提出了一种基于匹配策略的Web服务组合方法,该方法利用匹配关系,通过自顶向下的服务分解和自底向上的服务组合,自
近年来学术界和工业界推出了大量的多主体系统开发环境(MASDE:Multi-Agent System Development Environment).如何评价已有的各种MASDE,帮助软件开发人员从大量、异构和多样
容器支持高并发访问对于显著减少处理器的闲置时间、增加应用服务器的吞吐量、提高应用服务器的性能具有十分重要的意义.本文从分析StarCCM应用服务器中容器与构件、ORB以及P
本文分析了OFDM通信系统在平坦瑞利多径衰落条件下采用最优合并(OC)空间分集接收算法的QAM调制信号的平均误符号率(SER).采用在DFT变换前进行分集合并方法,大大减小了计算代
在基于虚拟组织的e-commerce中,常常涉及从大量的网上服务提供者中找到所需的供应商,并将发现的服务提供者集成起来,实现业务协作,为用户提供一系列流程服务.我们拟将语义Web
XML文档采用了树型的数据模型,对其查询通常是用带有选择谓词的模式树在XML数据中进行匹配.因此,找出XML文档中所有符合模式树结构的元素集,是XML查询处理的核心操作.本文提