コンピューティング科学研究領域の緒方和博教授、DO, Minh Canh（ド ミン カン）助教らによる論文「Parallel Maude-NPA for Cryptographic Protocol Analysis」が、国際的に権威ある学術誌IEEE Transactions on Dependable and Secure Computing（IEEE TDSC）においてFEATURED ARTICLEに選定されました。さらに、本論文は同誌のTrending Articleにもランクインし、世界的に高い注目を集めています。
　IEEE Transactions on Dependable and Secure Computingは、情報セキュリティおよび高信頼計算分野における世界有数の国際学術誌です。FEATURED ARTICLEは、掲載論文の中から特に学術的意義や影響力が高い研究として選定されるものです。また、Trending Articleは、閲覧数や注目度などに基づき、多くの研究者から関心を集めている論文として位置づけられています。

■研究内容の概要
　インターネット通信の安全性を支える暗号プロトコルでは、設計段階で脆弱性を検証することが重要です。本研究では、暗号プロトコルの安全性を解析するツールを並列化することで、従来よりも高速かつ効率的な検証を可能にしました。これにより、複雑なプロトコルについても実用的な時間で安全性を確認できます。本手法は、形式解析器の並列化として世界的にも先進的な取り組みです。さらに、量子コンピュータ時代を見据えた次世代暗号通信の検証にも有効であることを示しました。

■論文情報
　掲載誌：IEEE Transactions on Dependable and Secure Computing
　タイトル：Parallel Maude-NPA for Cryptographic Protocol Analysis
　著者：Canh Minh Do, Adrian Riesco, Santiago Escobar, Kazuhiro Ogata
　掲載日：2025年7月16日
　DOI：https://ieeexplore.ieee.org/document/11081832
　プレスリリース：https://www.jaist.ac.jp/whatsnew/press/2025/08/01-1.html

令和7年12月23日