王春玲
- 作品数：6 被引量：15H指数：2
- 供职机构：西安工程科技学院计算机科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 运行模式法分析密码协议实例研究
- 在介绍两方密码协议运行模式分析法的基础上,运用运行模式分析法对自行设计的TW两方密码协议进行了分析,成功地发现了TW协议的攻击,并验证了此协议的安全性,说明了两方密码协议运行模式分析法的有效性.
- 王春玲唐志坚张玉清薛纪文
- 关键词：密码协议形式化分析
- 文献传递
- 运行模式法分析TW密码协议被引量：2
- 2005年
- 在介绍两方密码协议运行模式分析法的基础上,运用运行模式分析法对自行设计的TW两方密码协议进行了分析,成功地发现了TW协议的攻击,并验证了此协议的安全性,说明了两方密码协议运行模式分析法的有效性。
- 王春玲唐志坚张玉清薛纪文
- 关键词：形式化分析
- TMN密码协议的SMV分析被引量：12
- 2003年
- 密码协议安全性的分析是网络安全的一个难题 ,运用形式方法对密码协议进行分析一直是该领域的研究热点 运用模型检测工具SMV对TMN密码协议进行了形式分析 在建立一个有限状态系统模型和刻画TMN密码协议安全性质的基础上 ,使用SMV对TMN密码协议进行了安全分析
- 张玉清王春玲冯登国
- 关键词：SMV网络安全密码体制计算机通信网移动通信
- 运行模式法分析密码协议实例研究
- 2005年
- 在介绍两方密码协议运行模式分析法的基础上，运用运行模式分析法对自行设计的TW两方密码协议进行了分析，成功地发现了TW协议的攻击，并验证了此协议的安全性，说明了两方密码协议运行模式分析法的有效性。
- 王春玲唐志坚张玉清薛纪文
- 关键词：密码协议形式化分析
- 运行模式法分析ISO/IEC密钥建立协议被引量：2
- 2005年
- 基于作者提出的运行模式法分析了ISO/IEC DIS 11770-3所提出的一个密钥建立协议(Helsinki密码协议)。分析结果表明Horng-Hsu攻击是Helsinki密码协议的惟一攻击,提出了一种改进的Helsinki密码协议,该协议可以防止Horng-Hsu攻击并比以前改进的Helsinki密码协议更安全。
- 张玉清王春玲冯登国
- 关键词：信息安全
- 多媒体软件编程的关键技术及实现
- 对多媒体软件制作技术提出了多个解决方案和思路，并介绍了相关的实现技术，对多媒体软件的开发具有一定的参考作用。
- 薛纪文贾艳玲王春玲
- 关键词：多媒体软件软件编程软件开发
- 文献传递
