文献

J-GLOBAL ID：202102210658928486   整理番号：21A0578074

車両クラウドコンピューティングにおけるメッセージ確認のためのセキュア鍵合意と認証プロトコル【JST・京大機械翻訳】

Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing

著者 (6件)： Lee JoonYoung (School of Electronics Engineering, Kyungpook National University, Daegu 41566, Korea) ,  Yu SungJin (School of Electronics Engineering, Kyungpook National University, Daegu 41566, Korea) ,  Kim MyeongHyun (School of Electronics Engineering, Kyungpook National University, Daegu 41566, Korea) ,  Park YoungHo (School of Electronics Engineering, Kyungpook National University, Daegu 41566, Korea) ,  Lee SangWoo (Electronics and Telecommunications Research Institute, Daejeon 34129, Korea) ,  Chung BoHeung (Electronics and Telecommunications Research Institute, Daejeon 34129, Korea)
資料名： Applied Sciences (Web)  (Applied Sciences (Web))
巻： 10  号： 18  ページ： 6268  発行年： 2020年 
JST資料番号： U7135A  ISSN： 2076-3417  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： スイス (CHE)  言語： 英語 (EN)

抄録/ポイント： 車両アドホックネットワーク(VANET)と自動車のインターネット(IoV)の開発によって,大量の有用な情報が,車両運転者と交通管理システムのために発生する。車両と交通情報の量は,車両数と同様に大きく,車両計算と貯蔵性能と比較した場合,莫大である。この問題を解決するため,VANETは,車両関連データを制御する車両クラウドコンピューティング(VCC)と呼ばれる複合クラウドコンピューティング技術を使用し,車両運転者を直接的または間接的に支援する。しかし,VANETは,VANETがオープンネットワークを介して通信するので,トラッキング,マスクーラデーおよびマンイン・イン・メディア攻撃のような攻撃に対して脆弱である。これらの問題を克服するために,多くの研究者は,車両クラウドコンピューティングによるメッセージ確認のための安全な認証プロトコルを提案した。しかし,多くの研究者は,いくつかの提案プロトコルが理想的な改ざん防止装置(TPDs)を使用することを指摘した。それらは,現実的TPDが敵対攻撃を防止できないことを示した。Limbasiyaらは,これらの問題を防ぐために,現実的なTPDを用いた車両クラウドコンピューティングのためのメッセージ確認方式を提示した。しかし,それらの提案方式は,TPDに対してセキュリティ弱点を持ち,相互認証を保証しない。本論文は,Limbasiyaらのプロトコルに固有のセキュリティ弱点を扱うための安全な鍵一致と認証プロトコルを提案する。提案したプロトコルは,悪意のある攻撃に耐え,プライバシー保護のための安全な相互認証を確実にする。提案したプロトコルは,Real-Or-Random(ROR)モデルを用いてセッション鍵セキュリティを提供できることを証明した。インターネットセキュリティプロトコルとアプリケーション(AVISPA)シミュレーションツールの自動化検証も採用し,提案したプロトコルが再生と中間攻撃を破ることができることを示した。さらに,提案したプロトコルが,非公式セキュリティ解析を行うことによって,他の悪意のある攻撃に抵抗できることを確認した。提案プロトコルが軽量でVCC環境に適していることを証明した。Copyright 2021 The Author(s) All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 自動化 ,  自動車 ,  冷却器 ,  交通情報 ,  応用プログラム ,  セキュリティ ,  *インターネット
準シソーラス用語： オープンネットワーク ,  脆弱性 ,  改竄 ,  VANET ,  セキュリティプロトコル ,  *認証プロトコル ,  相互認証 ,  *クラウドコンピューティング , 【Automatic Indexing@JST】

著者キーワード (7件)： VANET ,  車両雲計算 ,  メッセージ確認 ,  暗号解析 ,  相互認証 ,  AVISPA ,  RORモデル

分類 (2件)： 移動通信  (ND08030H) ,  データ保護  (JD01020V)

引用文献 (35件)：

• Zhang, L.; Wu, Q.; Domingo-Ferrer, J.; Qin, B.; Hu, C. Distributed aggregate privacy-preserving authentication in VANETs. IEEE Trans. Intell. Transp. Syst. 2017, 18, 516-526.
• Zhang, J.; Cui, J.; Zhong, H.; Chen, Z.; Liu, L. PA-CRT: Chinese Remainder Theorem Based Conditional Privacy-preserving Authentication Scheme in Vehicular Ad-hoc Networks. IEEE Trans. Dependable Secur. Comput. 2019.
• Liu, Z.; Xiong, L.; Peng, T.; Peng, D.; Liang, H. A realistic distributed conditional privacy-preserving authentication scheme for vehicular ad hoc networks. IEEE Access 2018, 6, 26307-26317.
• Limbasiya, T.; Das, D. Secure message confirmation scheme based on batch verification in vehicular cloud computing. Pysical Commun. 2019, 34, 310-320.
• Wazid, M.; Das, A.K.; Kumar, N.; Odelu, V.; Reddy, A.G.; Park, K.; Park, Y. Design of lightweight authentication and key agreement protocol for vehicular ad hoc networks. IEEE Access 2017, 5, 14966-14980.

タイトルに関連する用語 (4件)： クラウドコンピューティング ,  メッセージ ,  鍵合意 ,  認証プロトコル