赵东明
- 作品数：27 被引量：32H指数：3
- 供职机构：郑州大学信息工程学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划河南省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 用于安全协议分析的一种新的状态剪枝方法
- 2007年
- Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理论我们得出了一个剪枝定理。研究表明该剪枝定理能够大大减少协议分析中的冗余状态,提高了协议分析的效率。
- 周清雷马中良赵东明
- 关键词：安全协议分析串空间模型
- 对时间自动机中时钟约束的处理被引量：1
- 2008年
- 在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理。
- 周清雷周颜赵东明
- 关键词：时间自动机可达性
- 基于串空间模型的多协议猜测攻击验证分析
- 2009年
- 对安全协议进行猜测攻击,如果攻击者不能正确猜测用户秘密,那么他就会设法使用其他的信息来验证这种猜测。过去仅考虑了协议在独立执行的时候所遭受到的攻击。现引入一种新类型攻击称为多协议猜测攻击,它可以存在于混合协议中。接着,采用程序化分析方法对协议可能遭受到的猜测攻击进行了分析即协议的脆弱性分析。最后,加入一定的限制条件并使用串空间建模,进而保证了协议的安全性即协议的健壮性验证。
- 周清雷贾立伟赵东明
- 关键词：串空间形式化分析
- 串空间和认证测试在协议分析中的应用
- 2008年
- 串空间模型是一种新兴的密码协议形式化分析工具。分别采用串空间模型和认证测试这两种前沿的形式化分析方法对X.509协议的认证性进行了分析,指出了该协议在认证正确性方面存在的缺陷。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进的协议能够实现认证的正确性。通过比较发现应用认证测试方法分析安全协议,比单纯应用串空间模型更为简洁和直观。
- 丁萌伟周清雷赵东明
- 关键词：安全协议串空间X.509
- CMP协议的缺陷及改进被引量：1
- 2007年
- 近年来,安全电子商务协议的设计和分析逐渐成为热点。机密性、公平性等性质是衡量电子商务协议安全与否的重要标志,也是协议能否顺利使用的重要前提。机密性和公平性是安全电子商务协议的基本性质,但可证实电子邮件协议CMP作为电子商务协议的一种却并不满足这些性质。该文指出可证实电子邮件协议CMP的几个缺陷,对其分析并提出了改进方案,改进后的协议满足了机密性和公平性。
- 席琳赵东明
- 关键词：机密性
- 时间ω-树自动机识别语言的一个条件
- 2006年
- 时间自动机被广泛用于实时系统验证和模型检验.为适应不同类型的系统验证需要,不少时间自动机的相关模型被提出.时间树自动机是这样的新模型之一.目前主要是针对时间树自动机识别的语言类及相关性质的研究.本文提出了时间树自动机识别语言的一个条件,并证明了结论的正确性.如果一个语言不能满足该条件,它一定不能被时间树自动机识别.这为证明一个具体语言不能被时间树自动机识别提供了思路.
- 周清雷朱维军赵东明
- 关键词：识别语言
- 基于RSA签名的TLS协议的新攻击发现及其改进
- 在TLS协议的应用中,很多情况下采用的是RSA签名,由于RSA签名算法本身的缺陷,导致TLS协议攻击者具有利用其漏洞而伪造参与方签名的能力,最终达到冒充合法参与方获取通信共享密钥等机密信息的目的.本文基于计算理论对协议进...
- 周静赵东明
- 关键词：TLS协议RSA签名密码体制
- 文献传递
- 一种基于缓存队列的实时数据迁移系统
- 为实现在异构数据库间进行实时的数据迁移，引入基于“缓存队列”思想，利用ADO.NET等数据库访问控制技术，设计开发了一套高效、稳定、便捷的动态数据实时迁移系统。并简要介绍了该系统的设计框架流程及主要模块的实现方法，并通过...
- 舒畅赵东明
- 关键词：系统设计功能模块
- 基于动态混淆技术的动态图软件水印方案
- 提出了基于动态混淆技术的动态图软件水印方案,将动态混淆技术和动态图软件水印技术相结合,选用可归约排列图(RPG)作为水印图,嵌入水印程序,通过代码混淆,增加攻击者反编译程序的难度,提高软件水印方案的抗攻击性.将该方案与传...
- 赵东明张迪
- 关键词：软件水印抗攻击性
- 文献传递
- NSSK协议的串空间模型及分析被引量：3
- 2007年
- 本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析。分析结果表明改进的NSSK协议是安全的。
- 周清雷王峰赵东明
- 关键词：安全协议串空间
