机译:使用纤维原用的5G EAP-TLS认证协议进行正式分析
Army Engn Univ PLA Coll Command & Control Engn Nanjing 210007 Peoples R China|Chinese Acad Mil Sci Inst Syst Engn Natl Key Lab Sci & Technol Informat Syst Secur Beijing 100039 Peoples R China;
Chinese Acad Mil Sci Inst Syst Engn Natl Key Lab Sci & Technol Informat Syst Secur Beijing 100039 Peoples R China;
Shenzhen Univ Coll Comp Sci & Software Engn Shenzhen 518060 Peoples R China;
Chinese Acad Mil Sci Inst Syst Engn Natl Key Lab Sci & Technol Informat Syst Secur Beijing 100039 Peoples R China;
Authentication protocol; 5G network; formal verification; model checking; applied pi calculus; ProVerif; EAP-TLS;
机译:集成量子方案在EAP-TLS协议内进行关键分布和认证
机译:增强IEEE 802.11i的EAP-TLS身份验证协议
机译:用于WiMAX的基于强密码的EAP-TLS身份验证协议
机译:基于EAP-TLS协议的5G二级认证
机译:Kerberos身份验证协议的形式分析。
机译:基于Bilinear配对加密的多区域认证和隐私保留协议(MAPP)用于5G-V2X
机译:使用纤维原用的5G EAP-TLS认证协议进行正式分析
机译:扩展组协议和低级加密基元的正式密码协议分析技术