文献

J-GLOBAL ID：202002212791901565   整理番号：20A1905468

航空機通信ネットワークの安全性,セキュリティおよびアベイラビリティのための形式的フレームワーク【JST・京大機械翻訳】

Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks

著者 (2件)： Dureja Rohit (Iowa State University, Ames, Iowa 50011) ,  Rozier Kristin Yvonne (Iowa State University, Ames, Iowa 50011)
資料名： Journal of Aerospace Information Systems  (Journal of Aerospace Information Systems)
巻： 17  号： 7  ページ： 322-335  発行年： 2020年 
JST資料番号： W5673A  ISSN： 2327-3097  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 燃料とメンテナンスのコストと重量と環境影響の規制が厳しくなるにつれて,無線,軽量,燃料,保全時間,および汚染に,車載航空機ネットワークへの移行が増えている。航空機搭載通信のための候補短範囲無線ネットワークを,一般的ZigBeeプロトコルと,特別符号化メタデータを用いた安全な出版/加入システムとして実装したプライバシー保存探索を用いて概説した。新しいe(X)テンシブルモデル検証器における安全性とセキュリティ特性,およびネットワークのモデル化は,モデル検査による検証と故障解析を可能にし,将来の認証手段のための基礎を築く。候補無線ネットワークを形式的に解析する実験を行い,暗号化とフォールトトレラント通信のオーバヘッドとアベイラビリティを示した。システム設計者が通信故障率を推定し,帯域幅に対するフォールトトレランスを直接トレードオフできる形式モデルを提案して,通信セキュリティを保存した。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *航空機 ,  *ネットワーク ,  保全 ,  *アベイラビリティ ,  故障解析 ,  *通信 ,  通信故障 ,  帯域幅 ,  フォールトトレランス ,  認証 ,  モデル検査 ,  メタデータ
準シソーラス用語： ワイヤレス ,  無線ネットワーク ,  オーバヘッド , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (5件)： 航空機通信 ,  安全性 ,  セキュリティ ,  アベイラビリティ ,  フレームワーク