WEKO3
アイテム
知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究
http://hdl.handle.net/2241/00158851
http://hdl.handle.net/2241/0015885105c42594-5bfe-4346-8129-7b10dacb3505
名前 / ファイル | ライセンス | アクション |
---|---|---|
26330076seika.pdf (84.0 kB)
|
|
Item type | Research Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2019-11-27 | |||||
タイトル | ||||||
タイトル | 知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究 | |||||
言語 | ja | |||||
タイトル | ||||||
タイトル | A Study on Security Verification Method of Cryptographic Protocols by Analysis of Knowledge Formation Process | |||||
言語 | en | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
資源タイプ | research report | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
長谷部, 浩二
× 長谷部, 浩二 |
|||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 科学研究費助成事業 研究成果報告書:基盤研究(C)2014-2017課題番号 : 26330076 | |||||
言語 | ja | |||||
書誌情報 |
発行日 2018 |
|||||
関連情報 | ||||||
識別子タイプ | URI | |||||
関連識別子 | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-26330076/ |