刘丽明
- 作品数：4 被引量：6H指数：2
- 供职机构：中国人民解放军西安通信学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 安全协议的形式化分析概述
- 随着网络的迅速发展，网络安全问题日益突出，正确分析和验证安全协议尤为必要。目前对安全协议进行分析的主流方法是形式化分析方法。形式化分析方法多种多样，本文对当前主要的几种方法进行了概述和总结，并指出了下一步工作方向。
- 刘丽明朱广良潘进
- 关键词：安全协议形式化分析BAN逻辑网络安全
- 文献传递
- 802．16e中双重EAP认证的Rubin逻辑分析
- 2009年
- 802.16是IEEE制定的无线城域网技术标准。作为当今最具发展前景的无线宽带接入技术之一,由于传输信号的开放性,其安全问题备受关注。802.16e标准的安全体制在802.16d安全体制的基础上作了进一步的改进,不但实现了RSA的双向认证,而且引入了应用层认证协议EAP;实现了基于EAP的双重认证。根据协议分析需求,首先对所选形式化分析方法Rubin逻辑进行了扩展,并用扩展后的Rubin逻辑对双重认证模式进行分析,验证了802.16e中的双重认证模式的安全性。
- 刘丽明潘进王松
- 关键词：TLS协议形式化分析
- IKEv2协议的分析与改进被引量：3
- 2009年
- IKEv2协议中的预共享密钥认证方式容易受到中间人攻击和离线字典攻击,从而泄漏发起方的身份信息和通信双方的预共享密钥。针对上述2种攻击,提出将数字签名认证方式与预共享密钥认证方式相结合的防御措施,引入公钥口令的思想,避免建立公钥基础设施带来的额外负担。分析结果表明,改进后的协议能够避免中间人攻击和离线字典攻击,防止通信双方身份的泄漏和预共享密钥的破解。
- 邱司川潘进刘丽明
- 关键词：IKEV2协议中间人攻击预共享密钥口令
- 自组网路由协议的仿真与性能研究被引量：3
- 2009年
- 在Ad Hoc网络中,如何针对实际的应用选择一个最佳的路由协议是一个难点问题。分析DSDV,OLSR,DSR,TORA和AODV五种常用的Ad Hoc路由协议,基于网络节点暂停时间及最大移动速度变化两种情况,设计了针对平均端到端时延、数据包分组传送率、路由开销和平均跳数四个指标的仿真实验。仿真结果表明:在相同的网络环境下,与其他四种协议相比,OLSR协议的平均时延、路由开销和平均跳数都较小,分组传送率也较高,性能最好。通过对五种协议性能指标的综合比较,提出了一个通用的路由选择方案。
- 李波潘进李国朋刘丽明
- 关键词：无线自组网平均时延路由开销
