毋晓英
- 作品数:4 被引量:4H指数:1
- 供职机构:郑州大学信息工程学院更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 基于串空间模型的安全协议分析与验证方法的研究
- 安全协议是网络安全的保障,网络中实体间通信的实现都是经过安全协议来协助完成的,然而由于网络处在复杂的环境之中以及安全协议本身所具有的缺陷,使得攻击者能够借助这些缺陷来对协议进行各种各样的攻击,从而达到对网络安全进行破坏的...
- 毋晓英
- 关键词:安全协议串空间模型ATHENATLS协议自动化分析
- 基于规则的网页处理方法在移动办公的应用被引量:2
- 2010年
- 基于规则的网页处理方法是将企业网站适配到移动办公应用的一种方法。从代理服务器获取网页,对网页进行规范化处理;然后根据规则优先级对规范化的网页逐条应用规则,对网页做净化处理或组织结构调整;最后,将处理好的网页返回给代理服务器,由代理服务器将网页推送到移动终端。这种基于规则的方法可以用模块化的方式处理网页,使该方法具有通用性,可以通过改变或加入部分规则适用于不同的企业网站。
- 杜广飞张志鸿毋晓英
- 关键词:移动办公代理服务器
- 认证测试方法的扩展及其应用被引量:1
- 2010年
- 基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了扩展,通过修改测试分量和认证测试规则,对该方法进行了改进,运用扩展后的认证测试方法对使用签名和哈希函数的TLS协议进行了分析,扩大了认证测试方法的使用范围;并提出了对测试分量新鲜性的检验,进一步完善了认证测试方法.
- 周清雷毋晓英
- 关键词:串空间模型TLS协议哈希函数
- 一种安全协议自动化分析方法被引量:1
- 2010年
- 提出了一种基于串空间的安全协议自动化分析模型,该模型运用一系列算法实现协议的自动化分析,克服了冗长的理论推导,使协议的分析更加简洁和直观。模型的主要功能已在MyEclipse环境下用Java编程实现,并首次运用实现后的自动化分析模型对改进前后的Helsinki协议进行分析验证,证明了该自动化分析方法的简洁性和有效性。
- 毋晓英周清雷
- 关键词:安全协议串空间