Discovering emergency call pitfalls for cellular networks with formal methods-Reference-Cited by-同舟云学术

Discovering emergency call pitfalls for cellular networks with formal methods

Published:2021-06-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services
language:
Short-container-title:

Author:

Hou Kaiyu¹,Li You¹,Yu Yinbo²,Chen Yan¹,Zhou Hai¹

Affiliation:

1. Northwestern University

2. Northwestern Polytechnical University, Shaanxi, China

Publisher

ACM

Link

Reference63 articles.

1. Formal Analysis of the 3G Authentication Protocol;GPP.;Technical Report (TR),2001

2. Public Warning System (PWS) requirements;GPP.;Technical Specification (TS),2019

3. Access to the 3GPP Evolved Packet Core (EPC) via non-3GPP access networks; Stage 3;GPP.;Technical Specification (TS),2020

4. Characteristics of the Universal Subscriber Identity Module (USIM) application;GPP.;Technical Specification (TS),2020

5. Evolved Universal Terrestrial Radio Access (E-UTRA); Radio Resource Control (RRC); Protocol specification;GPP.;Technical Specification (TS),2020

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments;2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE);2023-11-17

5. You have been warned: Abusing 5G’s Warning and Emergency Systems;Proceedings of the 38th Annual Computer Security Applications Conference;2022-12-05