密码协议

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

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机应用研究x
条 记 录,以下是1-9
视图:
排序:
面向密码协议的半实物网络仿真方法
《计算机应用研究》2016年第10期3061-3064,3098,共5页董书琴 张明清 方哲 陈强军 程建 
针对常用仿真工具在进行面向密码协议的半实物(hardware-in-the-loop,HIL)网络仿真时接口不支持、密码协议仿真资源缺失、无法实现密码协议处理等问题,提出一种面向密码协议的HIL网络仿真方法。在形式化分析面向密码协议HIL网络仿真建...
关键词:密码协议 半实物网络仿真 形式化建模 Cryptlib OMNET++ 封装安全载荷 
具有混合安全的认证密钥协商协议
《计算机应用研究》2014年第9期2745-2746,2775,共3页舒剑 
国家自然科学基金资助项目(61163053)
基于切比雪夫映射的半群特性和经典的RSA算法,提出了一种具有混合安全的密钥协商协议。新协议使用RSA算法来保护切比雪夫多项式,从而避免了Bergamo攻击。理论分析表明,新协议不仅具有强安全特性,而且还具有高效性。
关键词:混沌理论 加密算法 密码协议 半群特性 混沌映射 
密码协议安全性证明系统解析器的设计与实现
《计算机应用研究》2010年第9期3529-3532,共4页李安乐 陈楠 顾纯祥 祝跃飞 
国家“863”计划资助项目(2007AA01Z471)
可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定,利用计算机辅助构造游戏序列进而实现自动化证明是当前一种可行的方法。为此提出一种基于进程演算的密码协议形式化描述模型,定义了描述密码协...
关键词:可证明安全 自动化 进程演算 
基于有限自动机的密码协议入侵检测方法被引量:2
《计算机应用研究》2008年第1期230-231,234,共3页郝耀辉 郭渊博 刘伟 李景锋 
国家自然科学基金资助项目(60472022)
提出了一种在密码协议运行中,基于有限自动机原理检测其上攻击的方法,详细介绍了该方法的工作原理,并通过实例验证了此方法的可行性,最后给出了该检测方法原型系统的测试结果。
关键词:密码协议 入侵检测 有限自动机 实时 动态 
无线匿名电话会议协议的分析与改进被引量:1
《计算机应用研究》2006年第9期228-229,共2页王滨 常亚勤 马智 
国家自然科学基金资助项目(60403004)
分析了文献[l]中W ang提出的一个无线匿名认证方案中的匿名电话会议认证协议,发现其存在安全漏洞,该协议不但无法保护用户的匿名性,而且还会泄露用户的机密信息,针对存在的安全漏洞对该协议进行了改进,改进后的协议保留了原方案的所有...
关键词:无线系统 匿名 电话会议 密码协议 
抗选择密文攻击公钥密码体制的研究被引量:3
《计算机应用研究》2006年第2期19-21,30,共4页梅其祥 唐小虎 何大可 
国家自然科学基金资助项目(60302015);信息安全国家重点实验室2004年第一批开放课题(01-01)
抗选择密文攻击公钥密码体制是安全性很高的密码体制,它是设计抗主动攻击的协议非常有用的工具。总结该体制的构造与应用的主要研究成果,并指出了几个值得进一步研究的问题。
关键词:加密 选择密文安全性 密码协议 
一个传输模型的认证协议设计
《计算机应用研究》2004年第5期155-156,159,共3页张少武 郭建胜 
针对文献[1]提出的需求模型,分析了其所设计协议的合理性,在此基础上分别利用对称密钥密码体制和对称密钥密码体制与非对称密钥密码体制相结合,给出两个协议,并分析了协议的安全性。协议达到了模型需求的设计目标,同时与原协议相比,协...
关键词:密码协议 密码体制 身份认证 
密码协议的形式化分析被引量:1
《计算机应用研究》2001年第10期113-116,共4页束妮娜 王亚弟 
在分析四类常用密码协议形式化分析方法的基础上 ,阐述了各自的优缺点。探讨了形式化分析所面临的挑战 ,指出目前在这方面所做的工作以及有待发展的方向。
关键词:密码协议 形式化分析 通信协议 BAN逻辑 
网络认证体系的通用程序设计被引量:1
《计算机应用研究》1998年第4期22-25,共4页吴家平 文栋辉 赵振西 
本文对当今通行的网络认证系统进行介绍,并分析、比较了网络认证系统中使用的密码协议;结合国际标准对认证系统在各种应用里如何实现进行讨论,认为不同的应用可以在可移植的通用程序接口下使用安全功能。
关键词:认证体系 密码协议 计算机网络 程序设计 
检索报告 对象比较 聚类工具 使用帮助 返回顶部