抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
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】