身份鉴别协议

作品数：17被引量：28H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：龙毅宏吴铤李艳平徐明应晶更多>>
相关机构：武汉理工大学北京天威诚信电子商务服务有限公司中国科学院大学山东大学更多>>
相关期刊：《信息安全与通信保密》《计算机与现代化》《北京交通大学学报》《网络安全技术与应用》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划教育部高等学校骨干教师资助计划浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种改进的身份鉴别协议在移动电子支付中的应用被引量：2
《北京交通大学学报》2006年第5期28-31,共4页赵勇 刘吉强 韩臻 沈昌祥 
国家自然科学基金资助项目(51436040203DZ01);国家"973"项目(TG1999053801)
实体间的身份认证和鉴别是电子支付协议的基础.近年来研究工作者提出了一系列的身份认证协议,但是都存在一定的不足.2005年,Ren_Junn Hwang提出了一个高效的适用于移动网络的域间身份认证协议,虽然他利用BAN逻辑证明了其安全性,但通过...
关键词：身份鉴别 移动电子支付 域间认证 
一个军网身份鉴别协议的形式化分析及修正
《计算机工程与应用》2005年第30期122-124,共3页刘璟 祝世雄 周明天 
国家973重点基础研究发展规划项目:信息与网络安全体系研究-密钥管理系统(编号:G1999035803)
分别使用形式化分析工具Casper+FDR和OFM C模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例。同时指出了文[1]和文[2]中存在的几个谬误。然后对协议进行了修正。形式化验证结果表明修正后的协议是安...
关键词：身份鉴别协议 形式化分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部