Budget Amount *help |
¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
Fiscal Year 2014: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2013: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2012: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
Outline of Final Research Achievements |
The security of many cryptosystems relies on the hardness assumption of certain computational problems, such as Diffie-Hellman problem and the factoring. The goal of this project is the development of an automatic analysis method that determines whether an attack exists or not and further derives all the possible attacks. We proposed a method focuses on a wide class of the problems on the existing hardness assumptions, and uses a computer algebra system. We further extend our method to analyze the security of cryptosystems.
|