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

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