文献

J-GLOBAL ID：201702240088913332   整理番号：17A1568618

RFIDプロトコルの形式的計算リンク不能性証明【Powered by NICT】

Formal Computational Unlinkability Proofs of RFID Protocols

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

抄録/ポイント： 計算モデルにおけるRFIDプロトコルの形式的証明のための枠組みを設定した。いわゆる計算上完全なシンボリック攻撃者モデルに依存している。著者らの貢献は1)ハッシュ関数(衝突強度,PRF)の特性を反映した公理設計(と音を証明した)であった。2)モデルにおける計算リンク不能性を定式化した。3)計算モデルでは,RFIDプロトコルのリンク不能性の初めての形式的証明を提供し,方法を説明した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 衝突強度 ,  計算モデル ,  *RFID ,  音響 ,  *プロトコル ,  ハッシュ関数 ,  定式化
準シソーラス用語： 攻撃者 ,  *リンク不能性 , 【Automatic Indexing@JST】

分類 (2件)： データ保護  (JD01020V) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： RFID ,  プロトコル ,  計算 ,  リンク不能性 ,  証明