論文の概要: Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis

• arxiv url: http://arxiv.org/abs/2309.09653v1
• Date: Mon, 18 Sep 2023 10:35:40 GMT
• ステータス: 処理完了
• システム内更新日: 2023-10-23 07:20:28.663104
• Title: Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis
• Title（参考訳）: 安全・安全複合分析のための自己適応ステップ間の共進化モデルに向けて
• Authors: Thomas Witte, Raffaela Groner, Alexander Raschke, Matthias Tichy, Irdin Pekaric and Michael Felderer
• Abstract要約: 自己適応システムの異なる側面を記述するモデルをいくつか提示する。 これらのモデルがどのようにしてアタックフォールトツリーに組み込むことができるのかという考え方を概説する。
• 参考スコア（独自算出の注目度）: 44.339753503750735
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to consider these two aspects together. Furthermore, the approaches currently used for safety and security analysis do not sufficiently take into account the intermediate steps of an adaptation. Current work in this area ignores the fact that a self-adaptive system also reveals possible vulnerabilities (even if only temporarily) during the adaptation. To address this issue, we propose a modeling approach that takes into account the different relevant aspects of a system, its adaptation process, as well as safety hazards and security attacks. We present several models that describe different aspects of a self-adaptive system and we outline our idea of how these models can then be combined into an Attack-Fault Tree. This allows modeling aspects of the system on different levels of abstraction and co-evolve the models using transformations according to the adaptation of the system. Finally, analyses can then be performed as usual on the resulting Attack-Fault Tree.
• Abstract（参考訳）: 自己適応システムは、異なるチャネルと環境を観察するために必要な異なるセンサーによって、いくつかの攻撃面を提供する。 多くの場合、攻撃は安全性を損なうことがあり、これら2つの側面を一緒に考える必要がある。 さらに, 安全・セキュリティ解析には現在用いられている手法は, 適応の中間段階を十分に考慮していない。 この領域における現在の作業は、自己適応システムもまた、適応中に(一時的にだけであっても)脆弱性を明らかにするという事実を無視している。 この問題に対処するため,我々は,システムのさまざまな側面,適応プロセス,および安全性の危険やセキュリティ攻撃を考慮したモデリング手法を提案する。 自己適応システムの異なる側面を記述したモデルをいくつか提示し,これらのモデルをアタック・フォールト木に結合する方法を概説する。 これにより、システムの異なる抽象化レベルにおけるモデリングの側面を可能にし、システムの適応に応じて変換を使用してモデルを共進化させる。 最後に、分析は結果のAttack-Fault Treeで通常通り実行される。

関連論文リスト

• Co-designing heterogeneous models: a distributed systems approach [0.40964539027092917]
  本稿では3つの要素に基づく異種システムに適したモデリング手法を提案する。 モデルとは何かという推論主義的な解釈、分散システムのメタファ、そして協調設計サイクルは、モデルの実践的な設計と構築を記述している。 本手法の適合性について,3つの異なるセキュリティ指向モデルを用いて検討する。
  論文  参考訳（メタデータ） (2024-07-10T13:35:38Z)
• Bridging the Gap: Automated Analysis of Sancus [2.045495982086173]
  本研究では,サンクスの組込みセキュリティアーキテクチャにおけるこのギャップを減らすための新しい手法を提案する。 我々の手法は、与えられた脅威モデルにおける攻撃を見つけるか、システムのセキュリティに対する確率的保証を与える。
  論文  参考訳（メタデータ） (2024-04-15T07:26:36Z)
• DARTH: Holistic Test-time Adaptation for Multiple Object Tracking [87.72019733473562]
  複数物体追跡(MOT)は、自律運転における知覚システムの基本的構成要素である。 運転システムの安全性の追求にもかかわらず、テスト時間条件における領域シフトに対するMOT適応問題に対する解決策は提案されていない。 我々はMOTの総合的なテスト時間適応フレームワークであるDARTHを紹介する。
  論文  参考訳（メタデータ） (2023-10-03T10:10:42Z)
• Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process [51.42800587382228]
  安全保証ケース(SAC)は、システムの進化中に維持することが困難である。 本稿では,ソフトウェアトレーサビリティを活用して,関連するシステムアーチファクトを安全解析モデルに接続する手法を提案する。 安全ステークホルダーがシステム変更が安全性に与える影響を分析するのに役立つように、システム変更の合理性を設計する。
  論文  参考訳（メタデータ） (2023-07-14T16:03:27Z)
• Sustainable Adaptive Security [11.574868434725117]
  本稿では,新たに発見された脅威を軽減し,適応型セキュリティシステムの拡張による永続的保護を反映したサステナブル・アダプティブ・セキュリティ(SAS)の概念を提案する。 私たちはスマートホームの例を使って、持続可能な適応セキュリティを満たすシステムのMAPE(Monitor, Analysis, Planning, Execution)ループのアクティビティをどのように構築できるかを示します。
  論文  参考訳（メタデータ） (2023-06-05T08:48:36Z)
• Safety-Critical Adaptation in Self-Adaptive Systems [1.599072005190786]
  本稿では,安全クリティカルな自己適応システムの定義を提案する。 システムの安全性とシステムの安全性ケースに対する影響に基づいて、適応を異なるタイプに分類するための分類法を記述する。 分類学の各タイプは、安全クリティカルな自己適応型給湯システムの例を用いて説明される。
  論文  参考訳（メタデータ） (2022-09-30T21:16:34Z)
• Switchable Representation Learning Framework with Self-compatibility [50.48336074436792]
  自己整合性(SFSC)を考慮した交換可能な表現学習フレームワークを提案する。 SFSCは1つのトレーニングプロセスを通じて、異なる能力を持つ一連の互換性のあるサブモデルを生成する。 SFSCは評価データセット上で最先端のパフォーマンスを達成する。
  論文  参考訳（メタデータ） (2022-06-16T16:46:32Z)
• SafeAMC: Adversarial training for robust modulation recognition models [53.391095789289736]
  通信システムには、Deep Neural Networks(DNN)モデルに依存する変調認識など、多くのタスクがある。 これらのモデルは、逆方向の摂動、すなわち、誤分類を引き起こすために作られた知覚不能な付加音に影響を受けやすいことが示されている。 本稿では,自動変調認識モデルのロバスト性を高めるために,逆方向の摂動を伴うモデルを微調整する逆方向トレーニングを提案する。
  論文  参考訳（メタデータ） (2021-05-28T11:29:04Z)
• Few-shot model-based adaptation in noisy conditions [15.498933340900606]
  本稿では,不確実性を考慮したカルマンフィルタに基づくニューラルネットワークアーキテクチャを用いて,雑音条件下での動的モデルの少数ショット適応を実現することを提案する。 提案手法は,ブラックボックス適応LSTMベースライン上での少数ショット適応誤差を改善する。 提案手法は,適応前後のモデル隠れ状態を解析することにより,システム解析を可能にする。
  論文  参考訳（メタデータ） (2020-10-16T13:59:35Z)
• Towards robust sensing for Autonomous Vehicles: An adversarial perspective [82.83630604517249]
  結果として得られる決定が摂動に対して堅牢であることは、最も重要なことです。 敵対的摂動は、意図的に環境や感覚測定の修正を施したものである。 より安全なシステムの構築とデプロイには,センサーシステムの脆弱性を慎重に評価する必要がある。
  論文  参考訳（メタデータ） (2020-07-14T05:25:15Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。