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.
|