| Budget Amount *help |
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
|
|---|
| Outline of Final Research Achievements |
There are many security protocols proposed so far for various kinds of applications. Unfortunately, there also exist many protocols with few formal security analysis among them. In this project, we mainly focused on sequential message authentication and logging using symmetric key cryptographic primitives. We formalized their security requirements and proposed new schemes provably secure based on their formalized security requirements. We also evaluated security of cryptographic hash functions designed by ourselves in terms of cryptanalysis and provable security. These hash functions can be used for various kinds of security protocols including our proposed protocols for sequential message authentication and logging.
|
