文献

J-GLOBAL ID：201702248995131828   整理番号：17A1568620

短い認証済みストリングに基づくプロトコルの形式的検証【Powered by NICT】

Formal Verification of Protocols Based on Short Authenticated Strings

著者 (3件)： Delaune Stephanie ,  Kremer Steve ,  Robin Ludovic
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CSF  ページ： 130-143  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 異なるデバイス間の短いストリングを比較またはコピーするために最新のセキュリティプロトコルは,ヒトを含む可能性がある。多因子認証プロトコル,Google因子または3D安全のようなそのようなプロトコルの典型的な例である。しかし,このような短いストリングは力ずく攻撃を受ける可能性がある。本論文では,短いストリングは弱いハッシュ関数の適用から生じる場合には短いストリングを推測すると,衝突を生成する両方のための攻撃能力を含む記号モデルを提案した。短いストリングに依存する(のセッションの有界数)プロトコルを解析するための新しい決定方法を提案した。手順はAKISSツールに統合し,ISO/IEC9798 6:2010標準からのプロトコルで試験した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： モデル ,  三次元 ,  *認証 ,  ヒト ,  安全性 ,  *プロトコル ,  ハッシュ関数
準シソーラス用語： 有界 ,  Google ,  認証プロトコル ,  セキュリティプロトコル ,  *形式的検証 , 【Automatic Indexing@JST】

分類 (3件)： 計算理論  (JB02000A) ,  データ保護  (JD01020V) ,  計算機網  (JC03000K)

タイトルに関連する用語 (3件)： 認証 ,  プロトコル ,  形式的検証