2009 Fiscal Year Final Research Report
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)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
KUNIHIRO Noboru 東京大学, 新領域創成科学研究科, 准教授 (60345436)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Keywords | 暗号系 / フォーマルメソッド / 安全性検証 / 低資源向き認証 |
|---|
| Research Abstract |
暗号プロトコルの安全性自動検証手法APSG,およびT-PIOAの改良と事例研究の拡張を行い,各手法の性能を評価するとともに実用性を向上させた.また,低資源向き認証プロトコルGPS方式とHB-PUF方式の安全性解析を行い,既存方式の問題点を指摘するとともに,改良方式を提案した.
|
