推論を利用した暗号プロトコルの自動検証に関する研究

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 推論を利用した暗号プロトコルの自動検証に関する研究
Title Transcription: スイロンオリヨウシタアンゴウプロトコルノジドウケンショウニカンスルケンキュウ
Author/Editor: 黒沢, 馨, 東京工業大学
Author Heading: 著者：黒澤, 馨, 1954- クロサワ, カオル, 1954- ( 00949974 )Authorities
Publication Date: 1996-1997
Publication Date (W3CDTF): 1996
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: BANロジツク BANロジツク
暗号プロトコルアンゴウプロトコル
論理式ロンリシキ
鍵配送カギハイソウ
検証ケンシヨウ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 07650413
Holding library: 国立国会図書館
Call No.: Y151-H07650413
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007007078
http://id.ndl.go.jp/bib/000007007078
Bibliographic Record Category (NDL): 214