セキユリテイプロトコルの形式的記述および検証に関する基礎的研究

• Material Type: 図書
• Title: セキユリテイプロトコルの形式的記述および検証に関する基礎的研究
• Title Transcription: セキユリテイプロトコル ノ ケイシキテキ キジュツ オヨビ ケンショウ ニ カンスル キソテキ ケンキュウ
• Author/Editor: 荒木, 啓二郎, 九州大学
• Author Heading: 荒木, 啓二郎 アラキ, ケイジロウ
• Publication Date: 1998-1999
• Publication Date (W3CDTF): 1998
• Extent: 冊
• Additional Title: 研究種目 基盤研究(C)
• Subject Heading: セキユリテイプロトコル セキユリテイプロトコル; 形式仕様記述 ケイシキシヨウキジユツ; 検証 ケンシヨウ; 並行動作システム ヘイコウドウサシステム; 振舞い記述 フルマイキジユツ; なりすまし ナリスマシ; Secure Socket Laver (SSL) プロトコル SECURESOCKETLAVER (SSL) プロトコル
• NDLC: Y151
• Note (General): 文部省科学研究費補助金研究成果報告書
• Research Project No. of Grants-in-Aid for Scientific Research: 10680358
• Holding library: 国立国会図書館
• Call No.: Y151-H10680358
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000007062657; http://id.ndl.go.jp/bib/000007062657
• Bibliographic Record Category (NDL): 214