文献

J-GLOBAL ID：201702260695783213   整理番号：17A1921007

暗号プロトコルにおける秘密性のための証人関数対解釈関数選択すること【Powered by NICT】

Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?

著者 (5件)： Fattahi Jaouhar (Department of Computer Science and Software Engineering. Universite ́ Laval. Que ́bec. Canada) ,  Mejri Mohamed (Department of Computer Science and Software Engineering. Universite ́ Laval. Que ́bec. Canada) ,  Ziadia Marwa (Department of Computer Science and Software Engineering. Universite ́ Laval. Que ́bec. Canada) ,  Omrani Takwa (Computer Science and Software Engineering Department. MACS Research Centre. University of Gabe`s. Tunisia) ,  Pricop Emil (Automatic Control, Computers and Electronics Department Petroleum-Gas University of Ploiesti. Romania)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： SMC  ページ： 2649-2654  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 暗号プロトコルである秘密のための正しいことを証明は困難なタスクである。この目標を達成する最も強い戦略の一つは,増加していることを示すことである,それは,安全評価,プロトコルにおける交換各単一原子メッセージのセキュリティレベルは減少しないことを意味している。最近,関数の二ファミリーは原子メッセージのセキュリティレベルを測定するために提案されている。最初の問題は,解釈関数のファミリーである。第二は証拠関数のファミリーである。本論文では,証拠関数である解釈関数よりもより効率的であることを示した。解釈関数はそのため失敗するが,我々は,証拠関数は秘密のためのその正当性の証明に成功したアドホックプロトコルの詳細な解析を行った。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】

分類 (1件)： 符号理論  (ND02030R)

タイトルに関連する用語 (3件)： 暗号プロトコル ,  秘密 ,  関数