密码协议

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
三方不经意多项式求值协议被引量：1
《计算机工程与设计》2016年第11期2934-2938,共5页杨博为 孙达志 李晓红 
国家自然科学基金项目(61003306、61272106);上海市高可信计算重点实验室开放课题基金项目(07dz22304201402)
针对多方计算中的隐私保护问题,提出一种三方不经意多项式求值协议。协议拥有3个参与者,分别为一个发送者和两个接收者,发送者拥有一个二元多项式P(x,y),两个接收者分别拥有α和β。该协议通过使用Diffie-Hellman密钥交换协议和任意一...
关键词：安全多方计算 不经意传输 不经意多项式求值 隐私保护 密码协议 
调和UC模型和DDMP模型的方法
《计算机工程与设计》2016年第10期2617-2621,共5页张妤 焦健 
国家自然科学基金青年科学基金项目(61301233)
通过对基于计算复杂性方法的UC模型和基于逻辑证明方法的DDMP模型这两种密码协议分析模型的研究和比较,提出结合两个模型的方法,证明两个模型中安全性的对应关系。应用示例结果表明,使用该密码协议分析方法能够得到通用可组合的、计算...
关键词：密码协议 安全性分析 UC模型 DDMP模型 调和 
一般化通用可组合安全框架研究
《计算机工程与设计》2012年第4期1271-1274,1284,共5页张妤 彭亮 
国家863高技术研究发展计划基金项目(2007AA01Z405);河南省科技创新杰出青年基金项目(2007AA01Z405)
分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框...
关键词：密码协议 通用可组合 一般化通用可组合安全分析框架 全局建立假定 信任模型 
UC安全性证明中模拟器构造方法研究
《计算机工程与设计》2012年第3期906-910,共5页张妤 黄周晶 
国家863高技术研究发展计划基金项目(2007AA01Z405);河南省科技创新杰出青年基金项目(104100510025)
在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法。研究了UC模型的构建原理,分析了UC安全性的本质要求,指...
关键词：密码协议 通用可组合安全分析模型 安全性证明 模拟器 构造方法 
密码协议安全性质研究
《计算机工程与设计》2010年第16期3604-3607,共4页黄卿 王亚弟 韩继红 李大海 
针对密码协议安全性质研究存在的问题,基于协议的运行过程——协议运行迹研究了一般秘密性、猜测攻击、强秘密性、完美前向秘密性、已知密钥攻击、新鲜性和完整性。分析了各个安全性质的具体含义,并对其进行了形式化定义,指出了为保证...
关键词：密码协议 猜测攻击 秘密性 新鲜性 完整性 
动态口令认证方案的研究与改进被引量：8
《计算机工程与设计》2007年第12期2806-2808,共3页王滨 刘刚 
研究了动态口令技术,分析了文献[1]中的一个可抵御劫取连接攻击的新的动态口令认证方案,原方案中由于对关键信息//的保护不够,尽管方案中的口令是动态的,但实际上原方案不能抵抗冒充服务器攻击。利用Diffie-Hellman密钥交换算法对原方...
关键词：冒充服务器攻击 动态口令认证 密码协议 劫取连接攻击 Diffie-Hellman密钥交换算法 
一种新型抵御字典攻击的认证方案被引量：2
《计算机工程与设计》2007年第8期1798-1800,1803,共4页於时才 胡佳文 靳艳峰 
身份验证是网络应用系统中的第一道防线,目的是验证通信双方的身份,防止非法用户窃取和假冒合法用户。尽管通过口令是最方便的身份验证方法,但它也伴随着字典攻击的威胁。分析了常用的几种一次性口令身份认证方案,在挑战-响应方案基础上...
关键词：身份验证 在线字典攻击 哈希函数 密码协议 口令 
密码协议验证中的Petri网方法被引量：1
《计算机工程与设计》2007年第6期1317-1319,共3页郭祥法 程震 
如何验证密码协议的安全性是一个复杂的问题,只有形式化的验证方法才能证明密码协议的绝对正确。利用Petri网给出了一种用于密码协议验证的形式化方法。在合理假设的基础上,区分合法用户与攻击者在执行协议时的前提条件,列出执行协议后...
关键词：密码协议 验证 PETRI网 形式化方法 攻击 
一个无线Hand-Off认证协议的分析与改进
《计算机工程与设计》2006年第15期2720-2721,2804,共3页王滨 常亚勤 
国家自然科学基金项目(60403004)。
通过分析文献[1]中Wang提出的一个匿名移动无线认证方案中的Hand-Off认证协议,发现了其存在安全漏洞,无法抵抗中间人发起的重放攻击,针对该协议存在的安全漏洞对原协议进行了改进,改进后的协议可以安全的实现用户与机站之间的身份认证,...
关键词：无线系统 Hand-Off认证协议 中间人 密码协议 重放攻击 
基于形式方法的Andrew RPC认证协议的分析与改进被引量：5
《计算机工程与设计》2005年第7期1886-1888,共3页白汉利 蔡红柳 郑广 
密码协议安全性分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点。运用BAN逻辑对AndrewRPC(RemoteProcedureCall)认证协议进行了形式分析,发现了协议中存在的安全缺陷。对协议进行改进,并给出改进后的...
关键词：密码协议 形式方法 RPC 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部