文献

J-GLOBAL ID：201802233223165088   整理番号：18A0883230

イベントロジックに基づく無線メッシュネットワーク認証プロトコルの安全性証明【JST・京大機械翻訳】

Security proof of wireless mesh network authentication protocol based on logic of events

著者 (5件)： Li Yanan (華東交通大学軟件学院,江西南昌,330013) ,  Xiao Meihua (華東交通大学軟件学院,江西南昌,330013) ,  Li Wei (華東交通大学軟件学院,江西南昌,330013) ,  Mei Yingtian (華東交通大学軟件学院,江西南昌,330013) ,  Zhong Xiaomei (華東交通大学軟件学院,江西南昌,330013)
資料名： Jisuanji Gongcheng Yukexue  (Jisuanji Gongcheng Yukexue)
巻： 39  号： 12  ページ： 2236-2244  発行年： 2017年 
JST資料番号： C2938A  ISSN： 1007-130X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 無線メッシュネットワークは,無線LANとモバイルアドホックネットワークの新しいマルチホップネットワークであり,無線ネットワークの開放性と資源の制限は,無線ネットワークの再生と偽装の攻撃を受けやすい。イベント論理は,分散システムにおける状態移動とアルゴリズムを記述するための形式的方法であり,ネットワークプロトコルのセキュリティの証明に使用できる。事象論理に基づく一連の特性を提案して,それは,多重情報相互作用,非重合せ,イベントマッチング,反復,および未来を含んで,プロトコル解析の冗長性と複雑性を減らして,プロトコル分析の効率を改善した。無線メッシュネットワークのクライアントの双方向認証プロトコルを分析し、このプロトコルが中間人からの再生攻撃に抵抗でき、無線Meshクライアントの双方向認証プロトコルが安全であることを証明した。この理論は複雑な無線ネットワークプロトコルの形式的分析に適している。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 冗長性 ,  セキュリティ ,  無線LAN ,  アルゴリズム ,  *安全性 ,  相互作用 ,  *プロトコル
準シソーラス用語： *ワイヤレス ,  ネットワークプロトコル ,  分散システム ,  無線ネットワーク ,  マルチホップネットワーク ,  モバイルアドホックネットワーク ,  *認証プロトコル ,  *無線メッシュ網 , 【Automatic Indexing@JST】

著者キーワード (4件)： formal method ,  logic of events ,  wireless mesh network authentication protocol ,  man-in-the-middle attack

分類 (2件)： 移動通信  (ND08030H) ,  計算機網  (JC03000K)

タイトルに関連する用語 (5件)： イベント ,  ロジック ,  無線メッシュネットワーク ,  認証プロトコル ,  安全性証明