退出
我的积分:
中文文献批量获取
外文文献批量获取
刘镝; 王梓屹; 李大伟; 关振宇; 孙钰; 刘建伟;
北京航空航天大学网络空间安全学院;
鉴权协议; 5GAKA协议; Lowe分类法; 形式化分析; TAMARIN;
机译:基于对称的基于键的5G AKA认证协议,满足匿名和可解释性
机译:基于增强的对称关键的5G-AKA协议
机译:使用基于解释函数的方法对SET和NSL协议进行形式化分析
机译:基于5G-AKA协议的主认证的形式验证和分析
机译:基于形式化方法的移动操作系统安全体系结构设计与分析
机译:调查质量改进对组织的影响:基于企业基于资源的观点对改进方法进行现实评估的协议
机译:改进的第三代身份验证和密钥协议的可扩展身份验证协议方法(EAP-AKA')
机译:加密协议分析的形式化方法:新出现的问题和趋势
机译:一种改进的基于票务的EAP-AKA协议,用于UMTS,WLAN和WIBRO的互通
机译:5G基于5G通信的通信模式分析的人工智能头像匹配方法和装置
机译:基于共形几何代数形式化分析机器人手臂运动计划的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。