WEKO3
アイテム
論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築
http://hdl.handle.net/2241/118836
http://hdl.handle.net/2241/118836281a94a8-3205-4358-8f7c-dc444a5442ed
名前 / ファイル | ライセンス | アクション |
---|---|---|
21700023seika.pdf (302.1 kB)
|
|
Item type | Research Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-04-10 | |||||
タイトル | ||||||
タイトル | 論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築 | |||||
言語 | ja | |||||
タイトル | ||||||
タイトル | Computational Logical Verification Method for Cryptographic Protocols | |||||
言語 | en | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
資源タイプ | research report | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
長谷部, 浩二
× 長谷部, 浩二 |
|||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 科学研究費助成事業(科学研究費補助金)研究成果報告書:若手研究(B)2009-2011 課題番号:21700023 |
|||||
書誌情報 |
発行日 2012 |