言語に依存した安全なビット・コミットメント
スポンサーリンク
概要
- 論文の詳細を見る
本稿では2種類の言語のクラスを定義する.その第一は,不透明, 透明な性質を持つビット・コミットメントを誘導する言語のクラスであり,その第二は,透明/不透明な性質を持つビット・コミットメントを誘導する言語のクラスである.またこの応用として-(1)言語Lが不透明/透明な性質を持つビット・コミットメントを誘導するならば,その言語Lは完全零知識証明を持つ;(2)言語Lが透明/不透明な性質を持つビット・コミットメントを誘導するならば,その言語Lは対話制限された完全零知識証明を持つ-を示す.
- 社団法人電子情報通信学会の論文
- 1994-07-11
著者
関連論文
- キャンパス共通認証認可システムの構築と運用(セキュアでサステイナブルなインターネットアーキテクチャ論文)
- 離散対数問題の統合
- 非超特異型楕円曲線上の暗号系の新たな利点について
- メルボルンでの8か月
- 廉価なスイッチとSecure Shellを利用した安全な情報コンセントの構成方法
- 追跡可能性を有する部分ブラインド署名の一構成(情報通信基礎サブソサイエティ合同研究会)
- 追跡可能性を有する部分ブラインド署名の一構成(情報通信基礎サブソサイエティ合同研究会)
- 大学における情報リテラシー教育の最近の動向(2.第1回情報シナジー研究会)
- [チュートリアル講演]最小値独立置換族に関する最近の成果
- 最小値独立置換族に関する最近の成果
- 有限幾何を用いた線形サイズ4-制限最小値独立置換族の構成
- 近似的k-対独立置換族の構成
- k-制限最小値独立置換族,その他k-wise独立性のサンプルサイズ下界
- 置換族とその独立性の解析
- A Characterization of Min-Wise Independent Permutations Families (Models of Computation and Algorithms)
- 最適な最小値独立置換族の構成
- A Polynomial Time Sampling Algorithm for an Optimal Family of Min-Wise Independent Permutations (Models of Computation and Algorithms)
- 簡便なハッシュ関数族の構成法
- 素因数分解と離散対数問題アルゴリズム ( 数論アルゴリズムとその応用)
- 多重M系列を用いた通信イミュニティテスト用ランダムパルス列(RPS)発生器の統計検定
- 大学内の業務・システムと連携するキャンパス共通認証認可システムの構築と運用
- 言語に依存した安全なビット・コミットメント
- ゼロ知識証明モデルと計算量理論 (<小特集>ゼロ知識証明とその応用)
- Simulating Fair Dice with a Small Set of Rationally Biased Coins
- 代数曲線に付随した離散対数問題の計算複雑性
- A Complexity Theoretic Approach to Breaking Cryptosystems Based on Discrete Logarithms
- 無線LANにおけるセキュリティ技術の動向
- ビデオ配信スケジューリングの競合比の解析
- 自己検査器及び自己修正器の関係について
- On checkers, Self-Testers, and Self-Debuggers
- B-7-48 零知識証明を用いた分散個人認証システム
- 有限体上のアルゴリズムと多倍長・剰余演算の高速演算方 ( 数論アルゴリズムとその応用)
- ε-近似k-制限最小値独立置換族のサイズの下界
- 重み付き乱択最適選好マッチング
- フェイステル変換を用いた近似的k-対ランダム置換族の構成
- 最小値独立置換族と3点独立置換族
- 情報セキュリティの科学 : マジック・プロトコルへの招待 太田和夫,黒澤沢馨,渡辺治(共著)
- 協働する科学/技術としての情報セキュリティ(2.2 記念講演会)(2. 特集)
- 商品価格設定問題に対する近似アルゴリズム
- 決定性QoS問題の競合比の下界について
- A-7-10 プライバシーを考慮した情報獲得の最近の動向
- プライバシーを考慮した情報獲得プロトコルの通信量の下界
- 巡回セールスマン問題に対する近似の下界
- 凸型資本投資問題に対するオンラインアルゴリズムの設計と解析
- 修正された選択離散対数問題の難しさについて
- 2011年度冬のLAシンポジウム Greedy Algorithms for Multi-Queue Buffer Management with Class Segregation (アルゴリズムと計算理論の新展開 : RIMS研究集会報告集)
- 線形符号の最大重みに対する近似アルゴリズム
- プライバシーを考慮した効果的な情報獲得
- RSA暗号の安全性に基づくID-NIKSの安全性について
- 非線形符号の半径及び被覆半径に対する近似アルゴリズム
- 非線形符号の半径及び被覆半径に対する近似アルゴリズム
- 非線形符号の半径及び被覆半径に対する近似アルゴリズム
- 統計的及び完全な知識の複雑さについて
- Crypto報告