期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于随机Hash-Chain的RFID安全协议研究 被引量：5
1
作者 裴友林 余本功 《微计算机信息》 北大核心 2008年第29期194-196,共3页
无线射频识别(RFID)作为一种新型的自动识别技术正逐渐得到广泛应用,但RFID系统的特点和RFID设备的局限性带来了很多安全隐患问题。针对这些问题,讨论并阐明RFID系统组成和安全隐患,分析了几种现有的典型的RFID安全协议的特点和缺陷,最... 无线射频识别(RFID)作为一种新型的自动识别技术正逐渐得到广泛应用,但RFID系统的特点和RFID设备的局限性带来了很多安全隐患问题。针对这些问题,讨论并阐明RFID系统组成和安全隐患,分析了几种现有的典型的RFID安全协议的特点和缺陷,最后提出了一种基于随机Hash-Chain的RFID安全协议。 展开更多
关键词 RFID系统 安全协议 HASH链
下载PDF
基于UPPAAL的NS密码协议模型检测分析
2
作者 李忠慧 张广泉 《重庆师范大学学报（自然科学版）》 CAS 2009年第4期78-81,共4页
形式化分析方法是目前密码协议分析的主流方法。然而,典型的密码协议形式化验证方法没有考虑时间因素,这个选择使得分析简单化。本文提出了运用基于时间自动机的模型检测工具UPPAAL分析密码协议的方法,并对著名的Needham-Schroeder协议... 形式化分析方法是目前密码协议分析的主流方法。然而,典型的密码协议形式化验证方法没有考虑时间因素,这个选择使得分析简单化。本文提出了运用基于时间自动机的模型检测工具UPPAAL分析密码协议的方法,并对著名的Needham-Schroeder协议(简称NS协议)的简单版本进行了分析。在对NS协议进行建模时,考虑消息实际传输需花费时间,引入消息的时间信息,从而构建NS协议的时间自动机模型。该方法利用UPPAAL的检查引擎所用的先进技术使其克服了一般时间自动机应用存在的状态空间爆炸问题。实验结果UPPAAL给出了NS协议认证失败的一种可能之一。分析结果表明,入侵者可以轻松地对NS公钥协议进行有效攻击。从而证明UPPAAL工具可以成功检测出NS协议的缺陷。 展开更多
关键词 UPPAAL 密码协议 模型检测
下载PDF
基于颜色Petri网的密码协议的分析 被引量：2
3
作者 袁志祥 蒋昌俊 叶红 《安徽工业大学学报（自然科学版）》 CAS 2002年第4期319-324,共6页
密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点。通过引入颜色Petri网来描述密码协议,并以TMN协议为例,利用Petri网的状态矩阵分析特性对其进行分析,发现并验证TMN协议的安全缺陷。最终说明... 密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点。通过引入颜色Petri网来描述密码协议,并以TMN协议为例,利用Petri网的状态矩阵分析特性对其进行分析,发现并验证TMN协议的安全缺陷。最终说明利用Petri网分析密码协议是可行的。 展开更多
关键词 颜色PETRI网 密码协议 TMN协议 密码算法 形式化分析 计算机网络 网络安全
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部