研究のポイント
逆向き探索技術「バックワードナローウイング」の並列化に成功
膨大な解析時間を要する従来手法に対し、並列化による高速化と効率化を実現
多数のセキュリティプロトコルで実証済み

　北陸先端科学技術大学院大学 コンピューティング科学研究領域の緒方 和博教授とDO, Minh Canh（ド ミン カン）助教らは、インターネットの安全を支える重要な技術であるTLS ^注１）などのセキュリティプロトコルの形式解析器を世界で初めて並列化し、高速化に成功しました。セキュリティホールの有無を科学的に検証するためのセキュリティプロトコルの形式解析には、攻撃者の存在や行動パターンを考慮した詳細な解析が必要であり膨大な計算時間が必要でしたが、今回の並列化により解析速度が大幅に向上しました。また、多数のセキュリティプロトコルを用いた実験でその効果を実証しています。本研究はスペインのバレンシア工科大学Santiego Escobar教授及びマドリードコンプルテンセ大学Adrian Riesco准教授との国際共同研究の成果であり、ディペンダブル・セキュアコンピューティング分野トップ学術雑誌IEEE Transactions on Dependable and Secure Computingに2025年7月16日付で掲載されました。