セルラーネットワークの自動セキュリティ分析

この論文は、セルラーネットワークの脆弱性を分析するための自動化フレームワークであるCellSecInspectorを紹介しています。手動レビューや既存の自動化アプローチの限界に対処するため、構造化表現の抽出、ネットワーク手順のモデリング、セキュリティプロパティに対する検証を行います。43個の脆弱性の発見（うち8個は未報告）は、このアプローチの有効性を示しています。