Development on automations of security analysis for cryptographic primitives
| Project/Area Number |
19500009
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
OHTA Kazuo The University of Electro-Communications, 電気通信学部, 教授 (80333491)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NISHINO Tetsuro 電気通信大学, 電気通信学部, 教授 (10198484)
SAKIYAMA Kazuo 電気通信大学, 電気通信学部, 准教授 (80508838)
國廣 昇 東京大学, 新領域創成科学研究科, 准教授 (60345436)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
KUNIHIRO Noboru 東京大学, 新領域創成科学研究科, 准教授 (60345436)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2009: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2007: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | 暗号系 / フォーマルメソッド / 安全性検証 / 低資源向き認証 / CryptoVerif / ランダムオラクルモデル / HB方式 / 物理的複製困難関数(PUF) / アルゴリズム的耐タンパ認証装置 / APSG / GPS方式 / T-PIOA / UCSA / 攻撃者モデル / GPS^+方式 |
|---|
| Research Abstract |
暗号プロトコルの安全性自動検証手法APSG,およびT-PIOAの改良と事例研究の拡張を行い,各手法の性能を評価するとともに実用性を向上させた.また,低資源向き認証プロトコルGPS方式とHB-PUF方式の安全性解析を行い,既存方式の問題点を指摘するとともに,改良方式を提案した.
|
Report
(4 results)
Research Products
(61 results)
-
-
-
-
-
-
-
-
[Journal Article]2009
Author(s)
太田和夫(分担執筆者)
-
Journal Title
現代数理科学事典, VIII情報の理論, 3. 暗号理論の数理, 3. 4デジタル署名方式 執筆担当(編集代表広中平祐)(丸善株式会社)
Pages: 932-935
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
