高度通信・放送研究開発委託研究
委託研究課題 ＞ 採択番号14801
〔課題名〕
通信プロトコルとその実装の安全性評価に関する研究開発
〔副題〕
形式手法によるプロトコル実装の検証技術と形式仕様に基づく網羅的ブラックボックス検査技術の開発
研究開発概要
| 実施期間 | 平成22年度～平成24年度（3年間） |
| 研究機関 | 独立行政法人産業技術総合研究所 （再委託）株式会社レビダム |
| 研究計画 | ［研究計画書］ ［研究概要図］ |
| 中期計画 | 3-(1) 情報セキュリティ技術（第2期） 1-(6) ネットワークセキュリティ技術（第3期） |