文献

J-GLOBAL ID：201702241446771477   整理番号：17A0023815

宇宙情報ネットワークのための認証プロトコルの解析と設計【Powered by NICT】

Analysis and design of an authentication protocol for space information network

著者 (5件)： Weiwei Zhao (School of Information Security Engineering, Shanghai Jiao Tong University, China) ,  Aixin Zhang (School of Information Security Engineering, Shanghai Jiao Tong University, China) ,  Jianhua Li (School of Information Security Engineering, Shanghai Jiao Tong University, China) ,  Xinghua Wu (School of Information Security Engineering, Shanghai Jiao Tong University, China) ,  Yuchen Liu (School of Information Security Engineering, Shanghai Jiao Tong University, China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： MILCOM  ページ： 43-48  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 移動通信技術の発展に伴い,空間情報ネットワークは,移動通信の増大する需要を満たす上で重要な役割を果たしている。塩基性で強力なセキュリティ機構として,認証プロトコルは一次保護を提供する。2012では,Zhengらは空間情報ネットワークのための効率的な四相認証方式を提案した。しかし,様々な攻撃,なりすまし攻撃,悪意のあるサービス要求攻撃とサービス攻撃の拒否などに脆弱であることを観察した。本論文では,プロトコルを詳細に解析した。ユーザの一時的な同一性の自己再生とタイムアウト再送機構に基づいて改善した認証方式を提案した。SVO論理による形式的検証は,提案した認証プロトコルが安全であることを証明した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *認証 ,  移動通信 ,  塩基性 ,  *宇宙空間 ,  *プロトコル ,  *ネットワーク ,  安全性 ,  セキュリティ ,  *情報ネットワーク ,  サイバー攻撃
準シソーラス用語： 形式的検証 ,  タイムアウト ,  なりすまし攻撃 ,  空間情報 ,  モバイル技術 ,  *認証プロトコル , 【Automatic Indexing@JST】

分類 (3件)： 無線通信一般  (ND08010L) ,  通信方式一般  (ND07010E) ,  計算機網  (JC03000K)

タイトルに関連する用語 (5件)： 宇宙 ,  情報ネットワーク ,  認証プロトコル ,  解析 ,  設計