2011 Fiscal Year Final Research Report
Computationally sound symbolic analysis of security and assistance of redesign for cryptographic protocols
| Project/Area Number |
21700015
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
YOSHIDA Maki 大阪大学, 大学院・情報科学研究科, 助教 (50335387)
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Keywords | 暗号プロトコル / 安全性 / 汎用的結合可能性 / 形式的検証 / 計算量的に健全 |
|---|
| Research Abstract |
The purpose of this work is to develop a method to analysis universally composable security of cryptographic protocols and assist redesign insecure protocols.
|
