蜂窝网络的自动化安全分析

本文介绍了CellSecInspector，一个用于分析蜂窝网络中3GPP规范漏洞的自动化框架。它通过提取结构化表示、建模网络流程以及根据安全属性进行验证，解决了手动审查和现有自动化方法的局限性。发现了43个漏洞，其中8个是之前未报告的，这突出了该方法的有效性。

• •CellSecInspector是一个用于3GPP规范安全分析的自动化框架。
• •它使用结构化的状态-条件-动作（SCA）表示，并对移动网络流程进行建模。
• •该框架根据安全属性验证流程并生成测试用例。
• •它在5G和4G NAS和RRC规范中发现了43个漏洞，其中包括8个新漏洞。