WEKO3
-
RootNode
アイテム
フォーマルメソッドの新潮流 : Part III: 新領域の開拓 : 7.フォーマルメソッドによる暗号安全性
https://ipsj.ixsq.nii.ac.jp/records/60939
https://ipsj.ixsq.nii.ac.jp/records/60939c86899bf-ed8f-40c5-886a-9df3a63239a4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN490509.pdf (1.5 MB)
|
Copyright (c) 2008 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2008-05-15 | |||||||
| タイトル | ||||||||
| タイトル | フォーマルメソッドの新潮流 : Part III: 新領域の開拓 : 7.フォーマルメソッドによる暗号安全性 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | New Trends in Formal Methods : Information Security by Formal Methods | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| 著者所属 | ||||||||
| 東京大学大学院情報理工学系研究科 コンピュータ科学専攻 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| The Univ. of Tokyo | ||||||||
| 著者名 |
萩谷, 昌己
× 萩谷, 昌己
|
|||||||
| 著者名(英) |
Masami, HAGIYA
× Masami, HAGIYA
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 近年世界的に研究が活性化している，フォーマルメソッドと暗号理論との境界領域について解説する． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 49, 号 5, p. 537-543, 発行日 2008-05-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
