王春玲

作品数：4被引量：6H指数：1
导出分析报告
供职机构：西安工程科技学院计算机科学学院更多>>
发文主题：形式化分析密码协议移动通信SMV计算机通信网更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《通信学报》《计算机应用研究》《计算机研究与发展》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
运行模式法分析TW密码协议
《计算机应用研究》2005年第9期108-110,共3页王春玲 唐志坚 张玉清 薛纪文 
国家自然科学基金资助项目(60102004)
在介绍两方密码协议运行模式分析法的基础上,运用运行模式分析法对自行设计的TW两方密码协议进行了分析,成功地发现了TW协议的攻击,并验证了此协议的安全性,说明了两方密码协议运行模式分析法的有效性。
关键词：TW密码协议 形式化分析 运行模式 
运行模式法分析密码协议实例研究
《通信学报》2005年第B01期129-132,共4页王春玲 唐志坚 张玉清 薛纪文 
在介绍两方密码协议运行模式分析法的基础上，运用运行模式分析法对自行设计的TW两方密码协议进行了分析，成功地发现了TW协议的攻击，并验证了此协议的安全性，说明了两方密码协议运行模式分析法的有效性。
关键词：密码协议 形式化分析 运行模式 
运行模式法分析ISO/IEC密钥建立协议被引量：1
《通信学报》2005年第2期15-18,共4页张玉清 王春玲 冯登国 
国家自然科学基金资助项目(60102004;60373040);国信安办基金资助项目(2001–研1–022)
基于作者提出的运行模式法分析了ISO/IEC DIS 11770-3所提出的一个密钥建立协议(Helsinki密码协议)。分析结果表明Horng-Hsu攻击是Helsinki密码协议的惟一攻击,提出了一种改进的Helsinki密码协议,该协议可以防止Horng-Hsu攻击并比以前...
关键词：信息安全 形式方法 运行模式 Helsinki密码协议 
TMN密码协议的SMV分析被引量：5
《计算机研究与发展》2003年第2期258-262,共5页张玉清 王春玲 冯登国 
国家自然科学基金 (60 10 2 0 0 460 2 73 0 2 760 2 73 0 2 9)
密码协议安全性的分析是网络安全的一个难题 ,运用形式方法对密码协议进行分析一直是该领域的研究热点 运用模型检测工具SMV对TMN密码协议进行了形式分析 在建立一个有限状态系统模型和刻画TMN密码协议安全性质的基础上 ,使用SMV对TMN...
关键词：TMN密码协议 SMV 分析 形式方法 网络安全 密码体制 计算机通信网 移动通信 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部