セキュリティプロトコルの形式的記述および検証に関する基礎的研究
著者
書誌事項
セキュリティプロトコルの形式的記述および検証に関する基礎的研究
（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成10年度-平成11年度）
[九州大学], 2000.3
- タイトル別名
-
平成10年度-平成11年度科学研究費補助金(基盤研究(C)(2))研究成果報告書(課題番号10680358)
- タイトル読み
-
セキュリティ プロトコル ノ ケイシキテキ キジュツ オヨビ ケンショウ ニ カンスル キソテキ ケンキュウ