HOME    About Institutional Repository    mypage        Japanese    library    university    Feedback

茨城大学機関リポジトリ >
College of Engineering >
Grants-in-aid for scientific research Report (College of Engineering) >

 
Title :フェイルセーフ暗号プロトコルの設計と安全性証明
Title alternative :Construction and Security Proof of Fail-Safe Cryptographic Protocols
Authors :米山, 一樹
Authors alternative :Yoneyama, Kazuki
Issue Date :1-Jun-2017
Abstract :研究成果の概要(和文):擬似ランダム関数を利用して乱数を秘密鍵と混ぜ合わせる手法やハッシュ関数の理想的な性質の一部だけを使って暗号文長を短くする手法などを利用し、秘密情報漏洩時でも安全な認証鍵交換、署名生成時の乱数漏洩時でも安全なグループ署名、脆弱性を持つハッシュ関数を用いても暗号文長を短くできる公開鍵暗号などを設計した。また、形式検証による安全性自動検証にも取り組み、グーグル社のブラウザ上で暗号化通信に用いられているQUICについて安全性解析を行い、従来の安全性モデルの不備を発見した。 研究成果の概要(英文):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.
Type Local :科研等報告書
Publisher :茨城大学
URI :http://hdl.handle.net/10109/14199
Appears in Collections:Grants-in-aid for scientific research Report (College of Engineering)

Files in This Item:

File Description SizeFormat
15H06063.pdf78KbAdobe PDFView/Open