文献

J-GLOBAL ID：201702275834922319   整理番号：17A0402467

分散モバイルクラウドコンピューティングサービスのための安全な認証済み鍵合意方式証明可能【Powered by NICT】

Provably secure authenticated key agreement scheme for distributed mobile cloud computing services

著者 (7件)： Odelu Vanga (Department of Mathematics, Indian Institute of Technology, Kharagpur 721 302, India) ,  Odelu Vanga (Department of Computer Science and Engineering, Indian Institute of Information Technology, Chittoor, Sri City 517 588, Andhra Pradesh, India) ,  Das Ashok Kumar (Center for Security, Theory and Algorithmic Research, International Institute of Information Technology, Hyderabad 500 032, India) ,  Kumari Saru (Department of Mathematics, Ch. Charan Singh University, Meerut, Uttar Pradesh, India) ,  Huang Xinyi (Fujian Provincial Key Laboratory of Network Security and Cryptology, School of Mathematics and Computer Science, Fujian Normal University, Fuzhou, Fujian, China) ,  Huang Xinyi (State Key Laboratory of Cryptology, Beijing, China) ,  Wazid Mohammad (Center for Security, Theory and Algorithmic Research, International Institute of Information Technology, Hyderabad 500 032, India)
資料名： Future Generation Computer Systems  (Future Generation Computer Systems)
巻： 68  ページ： 74-88  発行年： 2017年 
JST資料番号： A0620C  ISSN： 0167-739X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： モバイルクラウドコンピューティングの急速な発展に伴い,セキュリティは,分散モバイルクラウドコンピューティング環境における通信システムの重要な部分となっている。最近,2015年にTsaiとLoは,分散モバイルクラウドコンピューティングサービスのためのプライバシーを意識した認証方式を提案した。本論文では,まず,Tsai Loの方式を解析し,それらの方式はサーバなりすまし攻撃に脆弱であることを示し,このようにして,この方式は,安全な相互認証を実現することができない。添加では,一時的な秘密は敵を明らかにしたときTsai Loの方式は,セッション鍵セキュリティ(SKセキュリティ)と強力なユーザの証明書のプライバシーを提供しないことを示した。Tsai Loのスキームで見出されたこれらのセキュリティ落とし穴に耐えるためには,分散モバイルクラウドコンピューティングサービスのための証明可能安全な認証方式を提案した。厳密なセキュリティ解析により,この方式はSKセキュリティと強い証明書のプライバシーを達成し,なりすまし攻撃と一時的秘密漏洩攻撃を含むすべてのよく知られた攻撃を妨げることを示した。さらに,広く受け入れられているAVISPA(自動検証インターネットセキュリティプロトコルおよびアプリケーション)ツールを用いた形式的セキュリティ解析のための筆者らの方式をシミュレートし,本方式は再生と中間者攻撃を含む受動的および能動的攻撃に対して安全であることを示した。モバイルユーザのための低減された計算コストと共によりセキュリティ機能はTsai Loの方式と他の関連スキームと比較して,実用的な応用に対して,本方式は,より適切なものにしている。最後に,方式の実用性を実証するために,広く受け入れられているNS-2ネットワークシミュレータを用いて提案方式を評価した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： プライバシー ,  安全解析 ,  高速度 ,  *安全性 ,  セキュリティ ,  *認証 ,  サイバー攻撃
準シソーラス用語： *クラウドコンピューティング ,  ネットワークシミュレータ ,  実用性 ,  計算コスト ,  モバイルユーザ ,  証明書 ,  相互認証 ,  なりすまし攻撃 ,  *鍵合意 , 【Automatic Indexing@JST】

著者キーワード (6件)： クラウドコンピューティング ,  SKセキュリティ ,  相互認証 ,  ユーザの非トレーサヴィリティ ,  AVISPA ,  NS2シミュレーション

分類 (2件)： データ保護  (JD01020V) ,  計算機網  (JC03000K)

タイトルに関連する用語 (5件)： モバイル ,  クラウドコンピューティングサービス ,  認証 ,  鍵合意 ,  証明