論文の概要: A Formal Resilience Framework for Cyber-Physical Embodied Systems under Device-Level Cyberattacks

• arxiv url: http://arxiv.org/abs/2606.16467v1
• Date: Mon, 15 Jun 2026 09:35:04 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-16 18:36:05.053227
• Title: A Formal Resilience Framework for Cyber-Physical Embodied Systems under Device-Level Cyberattacks
• Title（参考訳）: デバイスレベルサイバー攻撃下でのサイバー物理身体システムのための形式的レジリエンスフレームワーク
• Authors: Alberto Giaretta,
• Abstract要約: 本稿では,IDS情報をレジリエンス評価指標に組み込んだ信頼性フレームワークを提案する。 サイバー攻撃がタスクの実行と実施の保存にどのように影響するかに関する構造化された推論をサポートする。 信頼性とセキュアなCPSの理論的基盤を確立している。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In cyber-physical systems (CPSs), fault tolerance is traditionally achieved by analysing sensor and actuator outputs, detecting progressive drift or sudden failures, and initiating suitable tolerance mechanisms. Reasonable under general failure models, this approach fails to capture nuanced disruptions caused by cyberattacks, which may employ subtle strategies. This is particularly critical in embodied CPSs, where computational and physical devices not only have an active role in task completion, but also in embodiment preservation (that is, maintaining the system's physical integrity). To prevent structural physical damage, embodied CPSs require a framework that enables proactive response to cyberattacks. This paper proposes a formal dependability framework that incorporates IDS information into resilience evaluation predicates, enabling assessment of tolerance to disruption and degradation. The framework supports structured reasoning about how cyberattacks affect task execution and embodiment preservation, and whether mitigation strategies must be deployed. Analytical examples demonstrate its analytical capability and soundness, establishing a theoretical foundation for dependable and secure embodied CPSs.
• Abstract（参考訳）: サイバー物理システム(CPS)では、伝統的に耐障害性は、センサとアクチュエータ出力を分析し、進行的なドリフトや突然の故障を検出し、適切な耐障害機構を開始することによって達成される。 一般的な失敗モデルでは、このアプローチは、微妙な戦略を用いるサイバー攻撃によって引き起こされる迷惑な破壊を捉えることに失敗する。 これは特に、コンピュータと物理デバイスがタスク完了に活発な役割を果たすだけでなく、(システムの物理的完全性を維持するために)エンボディメント保存においても重要である。 構造的物理的損傷を防止するため、CPSはサイバー攻撃に対する積極的な応答を可能にする枠組みを必要とする。 本稿では,IDS情報をレジリエンス評価指標に組み込んだ形式的信頼性フレームワークを提案する。 このフレームワークは、サイバー攻撃がタスクの実行と実施の保存にどう影響するか、緩和戦略を展開すべきか、という構造化された推論をサポートする。 分析的な例は、その分析能力と音性を示し、信頼性とセキュアなCPSの理論的基礎を確立している。

関連論文リスト

• Provably Secure Agent Guardrail [89.79561918065122]
  既存の防衛アーキテクチャは経験的セマンティックガードレールと確率論的大モデル調整器に依存している。 本稿では,論理的推論の基本的制約に基づくエージェントのための新しいセキュリティパラダイムを提案する。
  論文  参考訳（メタデータ） (2026-05-28T02:12:41Z)
• Provable Robustness against Backdoor Attacks via the Primal-Dual Perspective on Differential Privacy [51.758416625168]
  ランダムな平滑化は、敵の摂動に対する堅牢性を証明するための強力なツールである。 本稿では,複雑な構成機構の認証のためのフレームワークを提案する。 複雑な脅威モデル下での堅牢性を証明するために複合メカニズムを使用するための原則的で一般的なフレームワークを提供する。
  論文  参考訳（メタデータ） (2026-05-20T22:17:29Z)
• Resilience of IEC 61850 Sampled Values-Based Protection Systems Under Coordinated False Data Injections [0.0]
  本稿では,サンプル値(SV)プロトコルをターゲットとしたFalse Data Injection Attacks (FDIA) の下でIEC 61850ディジタルサブステーションのレジリエンスを評価する。 SVのマルチキャストの性質は、保護機能を妨害し大規模な停止を引き起こすサイバー侵入にサブステーションを露出させる。 抑止、予防、検知、緩和、レジリエンスをカバーする防衛戦略を解析する。
  論文  参考訳（メタデータ） (2026-05-08T10:08:51Z)
• CaMeLs Can Use Computers Too: System-level Security for Computer Use Agents [60.98294016925157]
  AIエージェントは、悪意のあるコンテンツがエージェントの行動をハイジャックして認証情報を盗んだり、金銭的損失を引き起こすような、インジェクション攻撃に弱い。 CUAのためのシングルショットプランニングでは、信頼できるプランナーが、潜在的に悪意のあるコンテンツを観察する前に、条件付きブランチで完全な実行グラフを生成する。 このアーキテクチャ分離は命令インジェクションを効果的に防止するが、ブランチステアリング攻撃を防ぐには追加の対策が必要であることを示す。
  論文  参考訳（メタデータ） (2026-01-14T23:06:35Z)
• Preliminary Investigation into Uncertainty-Aware Attack Stage Classification [81.28215542218724]
  この研究は、不確実性の下での攻撃段階推論の問題に対処する。 Evidential Deep Learning (EDL) に基づく分類手法を提案し、ディリクレ分布のパラメータを可能な段階に出力することで予測の不確実性をモデル化する。 シミュレーション環境における予備実験により,提案モデルが精度良く攻撃の段階を推定できることが実証された。
  論文  参考訳（メタデータ） (2025-08-01T06:58:00Z)
• CyFence: Securing Cyber-Physical Controllers via Trusted Execution Environment [45.86654759872101]
  サイバー物理システム(CPS)は、サイバー攻撃により多くの負荷を掛けて、技術進化と接続性の向上を経験してきた。 セマンティックチェックを追加することで,サイバー攻撃に対する閉ループ制御システムのレジリエンスを向上させる新しいアーキテクチャであるCyFenceを提案する。 我々はCyFenceをアクティブブレーキデジタルコントローラからなる実世界のアプリケーションとして評価し、異なるタイプの攻撃を無視可能なオーバーヘッドで軽減できることを実証した。
  論文  参考訳（メタデータ） (2025-06-12T12:22:45Z)
• Quantitative Resilience Modeling for Autonomous Cyber Defense [8.817401748976375]
  サイバーレジリエンス(サイバーレジリエンス)とは、システムがシステム操作に最小限の影響で攻撃から回復する能力である。 多様なネットワークトポロジやアタックパターンに適用可能な、レジリエンスの正式な定義はありません。 複数のディフェンダ運用目標を考慮したレジリエンスの定量的定式化を提案する。
  論文  参考訳（メタデータ） (2025-03-04T16:52:25Z)
• FaultGuard: A Generative Approach to Resilient Fault Prediction in Smart Electrical Grids [53.2306792009435]
  FaultGuardは、障害タイプとゾーン分類のための最初のフレームワークであり、敵攻撃に耐性がある。 本稿では,ロバスト性を高めるために,低複雑性故障予測モデルとオンライン逆行訓練手法を提案する。 本モデルでは,耐故障予測ベンチマークの最先端を最大0.958の精度で上回っている。
  論文  参考訳（メタデータ） (2024-03-26T08:51:23Z)
• Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations [8.8690305802668]
  サイバー物理システム(CPS)の重要属性は堅牢性であり、安全に運用する能力を示している。 本稿では,特定のシステム要件を満たす上でのコントローラの有効性を特徴付ける,仕様に基づく新しいロバスト性を提案する。 本稿では, 微妙な堅牢性違反を識別するための2層シミュレーションに基づく解析フレームワークを提案する。
  論文  参考訳（メタデータ） (2023-11-13T16:44:43Z)

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

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