密码协议

作品数：270被引量：695H指数：11
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：王亚弟张玉清肖国镇韩继红陈克非更多>>
相关机构：解放军信息工程大学西安电子科技大学上海交通大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种新的RFID标签所有权转移协议被引量：14
《计算机工程》2015年第3期147-150,166,共5页毛雅佼 孙达志 
国家自然科学基金资助项目(61003306;61272106)
针对无线射频识别(RFID)技术标签在生命周期内安全转移其所有权的问题,提出一个不依赖可信第三方参与转移的、基于Hash函数的RFID标签所有权转移协议。采用挑战响应机制,使用Status标志位来标识标签当前所有权归属。其中新旧所有者分别...
关键词：无线射频识别 密码协议 所有权转移 通信安全 身份认证 物联网 
基于面向对象时间Petri网的密码协议分析被引量：2
《计算机工程》2009年第13期156-159,共4页刘雪艳 吴慧欣 张强 王彩芬 
国家自然科学基金资助项目(10702065);陕西省自然科学基金资助项目(2005F45);西北师大数信学院青年教师基金资助项目
利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充。实例分...
关键词：面向对象时间Petri网 密码协议 TMN协议 抑制弧 
主动攻击下数字签名的计算可靠性被引量：1
《计算机工程》2008年第17期170-172,共3页朱玉娜 王亚弟 韩继红 张超 范钰丹 
研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中的迹与计算模型中的迹之间的对应关系,建立...
关键词：密码协议 数字签名 计算可靠性 
无线移动网络密码协议的安全性
《计算机工程》2008年第3期189-190,共2页喻慧 
描述了一组无线移动网络中密码协议的过程,利用GNY逻辑对密码协议进行分析,鉴于EAP-TLS密码协议会受到中间人攻击,提出了解决方法,找出协议中存在的安全缺陷,发现了对密码协议的安全威胁,并给出攻击者可能的攻击。
关键词：EAP—TLS密码 GNY逻辑 密码协议 
基于图元的事件图生成算法被引量：2
《计算机工程》2007年第12期1-3,共3页王焕宝 张佑生 
国家自然科学基金资助项目(50379003);高等学校博士学科点专项科研基金资助项目(20050359012);安徽省自然科学基金资助项目(03042207)
与单轮运行情形不同,多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形,且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理...
关键词：密码协议 事件图 形式化模型 图元 
基于逻辑编程的EKE协议分析被引量：1
《计算机工程》2007年第5期112-113,116,共3页王全来 韩继红 王亚弟 
基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法,利用该方法可以对密码协议的安全性质以程序化的方式进行验证。通过对EKE协议进行的分析,不但证明了协议已知的漏洞,而且发现了针对EKE协议的一个新的攻击——并行会话...
关键词：进程演算 逻辑编程 自动验证 密码协议 
基于Spi演算的密码协议的控制流分析
《计算机工程》2006年第15期137-139,共3页王全来 王亚弟 韩继红 
基于Spi演算和控制流分析,提出了一个密码协议的新分析方法。随后利用该方法对Beller-Chang-Yacobi MSR协议进行了分析,通过证明该协议已知的漏洞,说明该方法是正确的,并通过更深入的研究和分析,证明了该协议在并行会话攻击下是不安全的...
关键词：SPI演算 认证 并行会话攻击 
一次性口令身份认证方案的分析与改进被引量：20
《计算机工程》2006年第14期149-150,168,共3页王滨 张远洋 
分析了文献[1]中的一次性口令的身份认证方案,发现由于原方案是一个单向认证协议,因此不能抵抗中间人攻击,该文在不增加计算复杂度的前提下,对原方案进行了改进,使其成为一个安全的双向认证协议,并将其中的关键信息进行了加密保护,改进...
关键词：一次性口令 身份认证 中间人攻击 密码协议 
关于密码协议攻击的研究被引量：1
《计算机工程》2005年第19期148-150,共3页束妮娜 王亚弟 
该文通过具体实例从不同的角度讨论了对密码协议的各种攻击,并阐述了这些攻击产生的原因及防止它们的一般方法。
关键词：密码协议 重放攻击 并行会话攻击 
抗原语分析的密码协议设计原则
《计算机工程》2005年第11期133-135,共3页沈海峰 黄河燕 陈肇雄 
列举了一个因密钥破解造成的协议失败案例,提出了协议设计的唯密文原则以最大限度地保证长期密钥的安全性,同时唯密文原则还可以抵抗重放、初始化和剪切粘贴攻击。
关键词：密码协议 唯密文原则 随机量 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部