协议组合

作品数:12被引量:38H指数:4
导出分析报告
相关领域:自动化与计算机技术电子电信更多>>
相关作者:沈苏彬冯涛马建峰杜宗霞怀进鹏更多>>
相关机构:兰州理工大学南京邮电学院南京邮电大学艾利森电话股份有限公司更多>>
相关期刊:《信息网络安全》《计算机工程与设计》《通信学报》《计算机应用研究》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划甘肃省自然科学基金博士科研启动基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=通信学报x
条 记 录,以下是1-1
视图:
排序:
协议组合逻辑安全的4G无线网络接入认证方案被引量:9
《通信学报》2012年第4期77-84,共8页王丽丽 冯涛 马建峰 
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429);国家自然科学基金资助项目(60972078);甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186);甘肃省自然科学基金资助项目(2007GS04823);兰州理工大学博士基金资助项目(BS14200901);网络安全与密码技术福建省高校重点实验室开放课题基金资助项目(09A006)~~
针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案...
关键词:自证实公钥 协议组合逻辑 协议演绎系统 认证协议 4G 
检索报告 对象比较 聚类工具 使用帮助 返回顶部