WEKO3
アイテム
論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築
http://hdl.handle.net/2241/00125165
http://hdl.handle.net/2241/00125165b14aa5e4-57e5-406a-8bd9-105e2d9ac64d
名前 / ファイル | ライセンス | アクション |
---|---|---|
24700022seika.pdf (159.7 kB)
|
|
Item type | Research Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2015-07-16 | |||||
タイトル | ||||||
タイトル | 論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築 | |||||
言語 | ja | |||||
タイトル | ||||||
タイトル | Logical verification method for rational secret sharing 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)2012-2013 課題番号:24700022 |
|||||
言語 | ja | |||||
書誌情報 |
発行日 2014 |