云南高校图书馆联盟文献共享服务平台- 王丽丽

王丽丽: 作品数：1被引量：9H指数：1; 导出分析报告; 供职机构：兰州理工大学更多>>; 发文主题：公钥4G逻辑安全协议组合网络接入更多>>; 发文领域：自动化与计算机技术交通运输工程电子电信更多>>; 发文期刊：《通信学报》更多>>; 所获基金：博士科研启动基金国家自然科学基金国家高技术研究发展计划甘肃省自然科学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

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