インターネットなどのネットワークへの依存が高まるにしたがい,通信の盗聴や計算機への不正侵入といった脅威がとりざたされている。そういった中で計算機におけるネットワーク利用の安全性を高めるため,認証プロトコルがある。また,認証プロトコル自体の検証の多くは手作業であり多大な労力を要している。そこで,本稿において認証プロトコルに対する自動検証ツール,およびそのグラフィカルユーザインタフェース(GUI)により,開発に伴う負担を軽減し,安全性を向上させる支援環境を提供する。