文献

J-GLOBAL ID：202002241317860831   整理番号：20A2002505

ストランド空間に基づく計算健全性の形式的解析法に関する研究【JST・京大機械翻訳】

Research on Formal Analysis Method of Computational Soundness Based on Strand Space

著者 (3件)： Yao Meng-meng (Software development Dept, Jiangnan Institute of computing technology, WuXi, China) ,  Zhu Ye (Software development Dept, Jiangnan Institute of computing technology, WuXi, China) ,  Tang Li (Software development Dept, Jiangnan Institute of computing technology, WuXi, China)
資料名： ACM Proceedings  (ACM Proceedings)
号： ICMAI 2019  ページ： 141-145  発行年： 2019年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 近年,セキュリティプロトコルの形式的解析と計算健全性解析は研究ホットスポットである。ストランド空間理論に基づく形式的解析法は,その直感的で簡潔な特性のために広く研究され,適用された。ストランド空間理論モデルによるセキュリティプロトコルの抽象化により,セキュリティプロトコルの計算健全性は潜在的に犠牲になる。そこで本論文では,ストランド空間理論モデルとCanetti-Krawczyk(CK)モデルに基づいて,改良spCKモデルを提案し,それにより,ストランド空間がセキュリティプロトコルの認証特性と計算健全性を解析できる。本論文は,改良ECDH(楕円曲線Diffie-Hellman)プロトコルを分析することによって,spCKモデルの有効性と正当性を証明した。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件)： Canetti-Krawczyk ,  計算健全性 ,  ストランド空間

分類 (2件)： 符号理論  (ND02030R) ,  計算機網  (JC03000K)

タイトルに関連する用語 (5件)： ストランド ,  計算 ,  健全性 ,  解析法 ,  研究