文献

J-GLOBAL ID：202002232472515985   整理番号：20A2000019

セキュリティプロトコルのための等価特性証明時の対称性の利用【JST・京大機械翻訳】

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols

著者 (3件)： Cheval Vincent (INRIA Nancy Grand-Est & LORIA, Nancy, France) ,  Kremer Steve (INRIA Nancy Grand-Est & LORIA, Nancy, France) ,  Rakotonirina Itsaka (INRIA Nancy Grand-Est & LORIA, Nancy, France)
資料名： ACM Proceedings  (ACM Proceedings)
号： CCS ’19  ページ： 905-922  発行年： 2019年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 同時処理計算における行動等価としてモデル化したアクティブ敵対環境における暗号プロトコルに対するプライバシー型特性の検証は,高い計算量を示す。一般に,いくつかのクラスの一般的暗号プリミティブに対して,この問題は,正直な参加者の数が有界であるとき,coNEXP完全である。本論文では,研究中の2つのプロセス間の対称性を利用して,等価性を検証するために最適化技術を開発した。著者らは,それらが実践において有意な(数桁の大きさ)スピードアップを提供して,このように完全に自動的に分析できるプロトコルのサイズを増加させることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *対称性 ,  最適化手法 ,  プライバシー ,  計算量 ,  暗号 ,  高速化 ,  等価性
準シソーラス用語： 同時処理 ,  *セキュリティプロトコル ,  暗号プロトコル ,  有界 , 【Automatic Indexing@JST】

著者キーワード (3件)： 部分次数低減 ,  セキュリティプロトコル ,  対称性

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

タイトルに関連する用語 (4件)： セキュリティプロトコル ,  等価特性 ,  証明 ,  対称性