Formal verification of secondary authentication protocol for 5G secondary authentication

Kamya Kiyemba Edris; Mahdi Aiash; Jonathan Kok-Keong LooMohammad Shadi Alhakeem

首页> 外文期刊>International Journal of Security and Networks >Formal verification of secondary authentication protocol for 5G secondary authentication

【24h】

Formal verification of secondary authentication protocol for 5G secondary authentication

机译：Formal verification of secondary authentication protocol for 5G secondary authentication

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相关主题

摘要

The fifth-generation mobile network (5G) will enable interconnectivity between the home network (HN) and data network (DN) whereby mobile users with their user equipment (UE) will be able to access services provided by external service providers (SP) seamlessly. The mobile user and SP will rely on security assurances provided by authentication protocols used. For 5G, primary authentication between the UE and the HN has been defined and specified by the Third Generation Partnership Project (3GPP) while the secondary authentication has also been defined but not specified. 3GPP recommends the extensible authentication protocol (EAP) framework for secondary authentication between the UE and the SP. However, the secondary authentication methods have not been formally verified, so this paper proposes a secondary authentication protocol (SAP) for service authentication and provides a comprehensive formal analysis using ProVerif a security protocol verifier. Finally, it conducts a security analysis on the protocol's security properties.

著录项

来源
《International Journal of Security and Networks》 |2021年第4期|223-234|共12页
作者
Kamya Kiyemba Edris; Mahdi Aiash; Jonathan Kok-Keong LooMohammad Shadi Alhakeem;
展开▼
作者单位

School of Science and Technology, Middlesex University;

School of Computer and Engineering, University of West London;

Naif Arab University for Security Sciences;

展开▼
收录信息
原文格式 PDF
正文语种英语
中图分类计算技术、计算机技术;
关键词
5G; Secondary authentication; Security protocol; Services; Formal methods; ProVerif; Applied pi calculus;

Formal verification of secondary authentication protocol for 5G secondary authentication

摘要

著录项

相关主题

期刊订阅