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
|
Project Status |
Completed (Fiscal Year 2011)
|
Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2010: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2009: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
Keywords | 暗号プロトコル / 安全性 / 汎用的結合可能性 / 形式的検証 / 計算量的に健全 / 計算量的健全性 / UC安全性 / GUC安全性 / EUC安全性 / Generic model |
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.
|
Report
(4 results)
Research Products
(45 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Watermarking Cryptographic Data A02-022009
Author(s)
Maki Yoshida, Toru Fujiwara
Organizer
The Fifth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2009)
Place of Presentation
Kyoto, Japan(CD-ROM)
Year and Date
2009-09-12
Related Report
-
-
-