ネットワークトラフィック分析によるDolev-Yao侵入者再構築の自動化手法
パオロ・モデスティー (Paolo Modesti) 氏は2026年11月5日(現地時間)、グローバル監視システムにおけるネットワークトラフィックの分析精度向上を目指し、キャプチャされたデータからパッシブなドレフ-ヤオ侵入者 (Dolev-Yao intruder) の実行を再構築する自動化された手法に関する研究論文をarXivで発表した。本手法は、プロトコルレベルのセマンティクス理解の深化を目的としており、再構築された実行を形式的なプロトコル仕様と照合して検証する機能を持つ。