文献

J-GLOBAL ID：201702246524224576   整理番号：17A1568617

ランダムオラクルモデルにおける暗号プロトコルの適応,情報理論的セキュリティの証明の機械化【Powered by NICT】

Mechanizing the Proof of Adaptive, Information-Theoretic Security of Cryptographic Protocols in the Random Oracle Model

著者 (2件)： Stoughton Alley ,  Varia Mayank
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CSF  ページ： 83-99  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： EASYCRYPT証明アシスタントを用いたマルチパーティ暗号プロトコルの安全性を証明に関する著者らの研究を報告した。ゲームアプローチの配列を用いた計算モデルで働く,,各プロトコル関係者のための,敵対者は,パーティの実際と理想的なゲームを区別する試みにおけるプロトコル入力を選択する実/理想的なパラダイムの変化を用いた正直なbutcurious(正直)セキュリティを定義した。証明した情報理論的,計算量理論と計算仮定に基づいている。カプセル化状態は動的に製,制御できるランダム選択に依存するオラクル(例えば,ハッシングのためのランダムオラクル)を採用した。敵のオラクル使用を制限することにより,ゲームパラメータの項で発現していることを関係者の実際と理想的なゲームの間の距離にコンクリート上限を得るかもしれない。さらに,著者らの証明は適応型敵の,プロトコル入力の値を選択する際に,現在のプロトコルとオラクル知識にこの選択を制約するかも知れないというもの。三パーティ民間数検索プロトコルのEASYCRYPTにおける解析を行った。はこの証明を完成から学んだ教訓を強調した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ハッシング ,  *プロトコル ,  *情報理論 ,  機械化 ,  計算量理論 ,  安全性 ,  ゲーム ,  計算モデル ,  *セキュリティ
準シソーラス用語： *ランダムオラクル ,  *オラクル ,  敵対者 ,  *情報理論的セキュリティ ,  *暗号プロトコル ,  *ランダムオラクルモデル , 【Automatic Indexing@JST】

分類 (2件)： 符号理論  (ND02030R) ,  データ保護  (JD01020V)

タイトルに関連する用語 (6件)： ランダムオラクルモデル ,  暗号プロトコル ,  適応 ,  情報理論的セキュリティ ,  証明 ,  機械化