CAST-SecOC: AUTOSAR SecOC over CAN FDのための設定を考慮した多次元テスト手法
CAST-SecOC: A Configuration-Aware Multidimensional Testing Method for AUTOSAR SecOC over CAN FD
本論文は、AUTOSAR Secure Onboard Communication (SecOC) over Controller Area Network with Flexible Data-Rate (CAN FD) のための設定を考慮した多次元テスト手法であるCAST-SecOCを提案する。この手法は、メッセージの意味論、観測可能な受信者条件、鮮度関係、設定パラメータ、摂動演算子、要件レベルのオラクル、および追跡可能な証拠を統合的にモデル化する。プロトタイプキャンペーンでは、315のセマンティック等価クラスから1575の実行記録が生成された。1249の無効なメッセージはアプリケーションに到達せず、286の有効なメッセージはすべて配信された。高負荷時には、126の有効なメッセージのうち6つがデッドラインを超過した。メッセージレベルの記録をアプリケーションのみのバイナリオラクルで再評価すると、結果は286のACCEPTと1249のREJECTに減少したが、CAST-SecOCは6つの異なる応答/タイミングシグネチャを保持した。体系的な設定突然変異により、20の実行可能な非等価ミュータントのうち16が排除され、突然変異スコアは80.00%となった。合成タイミングバジェット分析により、PDU-CとPDU-Dは30%負荷で正のヘッドルームを維持したが、85%および95%負荷では評価された3つの認証入力長すべてで不十分なヘッドルームとなった。結果は、CAST-SecOCがSecOCのデプロイメント検証と設定エラー分析のための実行可能でメカニズムを考慮した証拠を提供することを示している。
- AUTOSAR SecOC over CAN FD 向けに、設定パラメータ・鮮度関係・要件レベルオラクルを統合した多次元テスト手法 CAST-SecOC を提案(学術研究)。
- プロトタイプキャンペーンで315のセマンティック等価クラスから1575の実行記録を生成し、1249の無効メッセージはアプリ到達せず、有効286件はすべて配信された。
- 高負荷時に126の有効メッセージのうち6件がデッドライン超過、アプリのみのバイナリ判定に簡略化すると286 ACCEPT/1249 REJECTに縮退するが、CAST-SecOCは6種の応答・タイミングシグネチャを保持した。
- 体系的な設定突然変異で20の実行可能な非等価ミュータントのうち16を排除し、突然変異スコア80.00%を達成。
- 合成タイミングバジェット分析で、PDU-CとPDU-Dは30%負荷では正のヘッドルームを維持したが、85%・95%負荷では評価した3つの認証入力長すべてでヘッドルーム不足となった。
AUTOSAR SecOC(車載CAN通信の認証)のデプロイ検証手法に関する学術提案で、特定企業の製品・調達・規制の話ではないため直接の投資材料は乏しい。ただし車載ソフトのセキュリティ検証コストと認証オーバーヘッド(30%負荷では余裕、85〜95%負荷では不足)という定量的知見は、SDV化でソフト検証費が膨らむ車載Tier1/OEMの収益性や、車載セキュリティ検証ツール・SecOC実装を手掛けるベンダーの需要評価に資する。テスト自動化・網羅性指標(変異スコア80%)の水準は、車載向け検証ツールの競争力を測る目安になる。