Design and Analysis of Application-Oriented Security Protocols with Provable Security

2015 Fiscal Year Final Research Report

• Project/Area Number: 25330150
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Information security
• Research Institution: University of Fukui
• Principal Investigator: Hirose Shoichi 福井大学, 工学(系)研究科(研究院), 教授 (20228836)
• Co-Investigator(Kenkyū-buntansha): KUWAKADO Hidenori 関西大学, 総合情報学部, 教授 (30283914)
• Project Period (FY): 2013-04-01 – 2016-03-31
• Keywords: セキュリティ / 証明可能安全性 / 認証

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.

Free Research Field

暗号学