Construction and Security Proof of Fail-Safe Cryptographic Protocols
| Project/Area Number |
15H06063
|
|---|
| Research Category |
Grant-in-Aid for Research Activity Start-up
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Information security
|
|---|
| Research Institution | Ibaraki University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2015-08-28 – 2017-03-31
|
| Project Status |
Completed (Fiscal Year 2016)
|
| Budget Amount *help |
¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2016: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 暗号プロトコル / フェイルセーフ性 / フェイルセーフ安全性 / マルチキャスト鍵配送 / 暗号・認証等 / 秘密情報漏洩 |
|---|
| Outline of Final Research Achievements |
By using the method to mix temporary randomness and the static secret key with pseudo-random functions and the method to shorten the ciphertext length with a part of ideal properties of idealized hash functions, we construct an authenticated key exchange secure under the secret key leakage, a group signature secure under leakage of randomness in the signature generation, and a compact public key encryption even with vulnerable hash functions. Moreover, we study automated security verification using formal methods, and find a flaw of the previous security model of QUIC which is used to establish secure channels in the browser of Google inc.
|
Report
(3 results)
Research Products
(15 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] スケーラブルな動的多者鍵配布プロトコル2016
Author(s)
小林 鉄太郎, 米山 一樹, 吉田 麗生, 川原 祐人, 冨士 仁, 山本 具英
Organizer
暗号と情報セキュリティシンポジウム
Place of Presentation
ANAクラウンプラザホテル（熊本県熊本市）
Year and Date
2016-01-19
Related Report
-
-
