WEKO3
アイテム
証明支援系CoqによるCCNプロトコルの形式化と検証
http://hdl.handle.net/10236/13659
http://hdl.handle.net/10236/136594b30287e-1d41-4a8b-aab6-26afbf467d76
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
論文要旨 (67.8 kB)
|
|
| アイテムタイプ | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-10-21 | |||||
| タイトル | ||||||
| タイトル | 証明支援系CoqによるCCNプロトコルの形式化と検証 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||
| 資源タイプ | thesis | |||||
| 著者 |
森嶋, 崇
× 森嶋, 崇 |
|||||
| 内容記述 | ||||||
| 値 | 2014年度修士論文要旨.関西学院大学大学院理工学研究科情報科学専攻高橋和子研究室 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
