共 27 条
[1]
Han X, 2012, PROCEEDINGS OF 2012 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2012), P1018, DOI 10.1109/ICCSNT.2012.6526099
[2]
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol
[J].
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19),
2019,
:669-684
[3]
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol
[J].
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19),
2019,
:669-684
[4]
LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE
[J].
25TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2018),
2018,
[5]
Security and Protocol Exploit Analysis of the 5G Specifications
[J].
IEEE ACCESS,
2019, 7
:24956-24963
[6]
Lichtman M, 2018, IEEE INT CONF COMM
[8]
Maier M. W., 1998, Systems Engineering, V1, P267, DOI [10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO
[9]
2-D, 10.1002/(SICI)1520-6858(1998)1:4lt
[10]
267::AID-SYS3gt