2016 Fiscal Year Final Research Report
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
|
| 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.
|
| Free Research Field |
暗号理論
|
