論文の概要: Trust Boundary Semantic Gaps: A Multi-dimensional Analysis and Mitigation for Security-by-Design

• arxiv url: http://arxiv.org/abs/2607.01711v1
• Date: Thu, 02 Jul 2026 05:06:57 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-03 19:45:08.679762
• Title: Trust Boundary Semantic Gaps: A Multi-dimensional Analysis and Mitigation for Security-by-Design
• Title（参考訳）: 信頼境界セマンティックギャップ:多次元解析とセキュリティ・バイ・デザインの軽減
• Abstract要約: 我々はこの条件をトラスト境界セマンティックギャップ(TBSG)と呼ぶ。 境界レベルのセキュリティインシデント75件を分析した。 信頼境界セマンティック分析・緩和(TBSAM)の開発
• 参考スコア（独自算出の注目度）: 10.212854052793046
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Modern systems use format-, protocol-, and signature-based mechanisms before accepting artifacts across trust boundaries. These mechanisms are necessary: they show that an artifact is well formed, protocol-compliant, or properly authenticated. They do not, however, show that the artifact satisfies the semantic security properties required by the receiving domain. A signed update or an authenticated token may therefore be accepted yet enable compromise. We call this condition a Trust Boundary Semantic Gap (TBSG): an artifact crosses a trust boundary and passes correctly implemented syntactic validation, but the assertions established by that pass are insufficient to satisfy the receiving domain's security requirements. TBSG concerns what remains unestablished after a syntactic pass, not absent checks or implementation bugs. Analyzing 75 publicly reported security incidents (2014-2025) at the boundary level, we organize semantic misalignment into a four-dimensional analysis model: Identity, Spatial, Temporal, and Interpretation (MDTBSG). Building on it, we develop Trust Boundary Semantic Analysis and Mitigation (TBSAM), a design-time framework that identifies TBSGs from design specifications, prioritizes them, traces propagated gaps to their originating boundary, and maps each to candidate architectural controls. We apply TBSAM to a retrospective reconstruction of the SolarWinds/SUNBURST supply-chain attack, showing how it makes receiving-domain assumptions explicit, separates locally originating from propagated gaps, and identifies controls that interrupt the path. These results suggest that syntactic validation, while necessary, is not sufficient at trust boundaries, and that making trust-boundary assumptions explicit can complement Security-by-Design.
• Abstract（参考訳）: 現代のシステムは、信頼境界を越えてアーティファクトを受け入れる前に、フォーマット、プロトコル、シグネチャベースのメカニズムを使用する。 これらのメカニズムは、アーティファクトが十分に形成され、プロトコルに準拠し、あるいは適切に認証されていることを示す。 しかし、それらは、アーティファクトが受信ドメインが必要とするセマンティックセキュリティ特性を満たすことを示さない。 したがって、署名された更新または認証されたトークンが受け入れられるが、妥協が可能である。 我々は、この条件をトラスト境界セマンティックギャップ(TBSG)と呼び、アーティファクトは信頼境界を越えて、正しく実装された構文検証をパスするが、そのパスによって確立されたアサーションは、受信ドメインのセキュリティ要件を満たすには不十分である。 TBSGは、構文パス後に未確立のままであり、欠落したチェックや実装上のバグではない。 境界レベルでの75件のセキュリティインシデント(2014-2025)を分析し,意味的ミスアライメントを,アイデンティティ,空間,時間,解釈(MDTBSG)という4次元分析モデルに整理した。 TBSAMは,設計仕様からTBSGを識別し,それを優先順位付けし,伝播するギャップを原点境界まで追跡し,それぞれを候補となるアーキテクチャ制御にマップする設計時フレームワークである。 TBSAMをSolarWinds/SUNBURSTサプライチェーン攻撃の振り返りに応用し、受信ドメインの仮定を明確にし、伝播ギャップから局所的に分離し、経路を中断する制御を特定する。 これらの結果から, 統語的検証は信頼境界において不十分であり, 信頼境界の仮定を明確にすることで, セキュリティ・バイ・デザインを補完できる可能性が示唆された。

関連論文リスト

• FLY-EVAL++: An Evidence-Driven Evaluation Protocol for Safety-Constrained Flight Prediction with Large Language Models [45.90905049052029]
  FLY-EVAL++は,安全クリティカル環境下での大規模言語モデルに対するエビデンス駆動評価プロトコルである。 PilotBench設定を履歴条件および多段階予測タスクで拡張することにより、FLY-EVAL++ for Flight Trajectory and Attitude Prediction (FTAP)をインスタンス化する。 本結果より, 安全クリティカル領域の評価は, 精度中心の報告のみに頼るのではなく, 制約満足度と構造的妥当性を明示的に測定すべきであることが示唆された。
  論文  参考訳（メタデータ） (2026-09-03T16:00:02Z)
• AI Slop and Hallucinations in Vulnerability Assessment: A Survey on Reasoning Failures and Trustworthy Mitigation [48.55515767840701]
  AIスロープ(AI slop)は、アーティファクト、幻覚的脆弱性、可視だが正しくないパッチ、セマンティックに再パッケージされたバグレポートである。 本稿では,実証的証拠を調査し,統一メカニズムを特定し,信頼に値するトリアージへの道筋をたどる。
  論文  参考訳（メタデータ） (2026-08-26T11:48:38Z)
• Who Can Make the Action Happen? An Authority-Decomposition Framework for High-Risk Automated Systems [8.71734630214811]
  本稿では,信頼領域の連立関係が保護された実行を引き起こすのに十分である行動関連手法を提案する。 これは、実行に対する因果制御と、操作の権威的アカウントの制御を分離する。 インクルージョン最小限の連立と、要求される実行境界が指定された上流ドメインから独立しているかどうかのテストが導かれる。
  論文  参考訳（メタデータ） (2026-08-19T14:30:58Z)
• Logit-Boundary Geometric Belief Interfaces and Sparse Sheaf-Enclave Protocols: A Self-Contained Substrate for Secure Network Electronic Health Record (EHR) Interoperability [2.894286977279531]
  本稿では,そのインターフェースの数学的および工学的アーキテクチャについて詳述する。 発見モデルは、局所的なカテゴリー決定よりも事前閾値スコアを提案するが、決定論的判断基盤は、提案が許容できるかどうかを決定する。 得られたGeometric Belief Interface(GBI)は、有限境界セマンティクス、ローカルディリクレのエビデンス、セルラーシェーフとマッピングコーンの診断、アドバイザリ監査チャート、フェールクローズドデプロイメントのための分散暗号化シーフ-エンクレーブプロトコルスケッチを組み合わせたものである。
  論文  参考訳（メタデータ） (2026-08-10T23:10:53Z)
• Adversarial Attacks for Good: A Survey of Proactive Protection across the Visual Content Lifecycle [65.6642776933861]
  この介入点付近で成長した保護パラダイムについて検討する。 ほとんどの保護は、主に静的あるいは弱い適応的な敵に対して検証されている。 我々は、堅牢で構成可能で、デプロイ可能な所有者側の保護のために、クロスステージ対策とオープンな問題を統合することで、閉鎖する。
  論文  参考訳（メタデータ） (2026-08-05T00:46:50Z)
• Quantifying Faithful Confidence Expression in Large Reasoning Models [40.863410553607984]
  大規模推論モデルの忠実な校正を定量化する新しい枠組みを提案する。 本フレームワークは,内的不確実性の3つの要因に対する言語的決定性を解析する。 忠実な信頼表現はLRMにとって重要な課題である。
  論文  参考訳（メタデータ） (2026-06-02T17:53:45Z)
• Verify Before You Commit: Towards Faithful Reasoning in LLM Agents via Self-Auditing [5.497064111008921]
  我々は,行動開始前のエージェントの内部信頼状態に対する検証を行う新しいフレームワークであるtextbfSelf-textbfAudited textbfVerified textbfReasoning (textscSAVeR)を提案する。 当社のアプローチは、競争力のあるエンドタスクのパフォーマンスを維持しながら、推論の忠実さを継続的に改善します。
  論文  参考訳（メタデータ） (2026-04-09T16:01:03Z)
• SEAL-Tag: Self-Tag Evidence Aggregation with Probabilistic Circuits for PII-Safe Retrieval-Augmented Generation [36.47163805456756]
  SEAL-Tagは個人識別可能な情報を保護するランタイム環境(PII) SEAL-TagはSEAL-Probeプロトコルを導入し、監査を構造化されたツール使用操作に変換し、モデルがそのドラフトと共に検証可能なPII-Evidence Table(PET)を生成する。 プライバシ"コールドスタート"問題を克服するため,S0-S6アンコレッド合成パイプラインを導入し,高忠実で実証されたRAGインタラクションを生成する。
  論文  参考訳（メタデータ） (2026-03-18T02:40:54Z)
• TraceGuard: Process-Guided Firewall against Reasoning Backdoors in Large Language Models [19.148124494194317]
  我々は,小規模モデルを堅牢な推論ファイアウォールに変換するプロセス誘導型セキュリティフレームワークであるTraceGuardを提案する。 提案手法は,推理トレースを信頼できないペイロードとして扱い,詳細な防衛戦略を確立する。 グレーボックス設定における適応的敵に対する堅牢性を実証し、TraceGuardを実用的で低レイテンシなセキュリティプリミティブとして確立する。
  論文  参考訳（メタデータ） (2026-03-02T22:19:13Z)
• Authenticated Contradictions from Desynchronized Provenance and Watermarking [48.47756819432157]
  この研究は、$textitIntegrity Clash$を形式化し、実証的に実証している。 本稿では,3500枚のテスト画像に対して100%の分類精度を達成し,証明メタデータと透かし検出ステータスを共同評価する層間監査プロトコルを提案する。
  論文  参考訳（メタデータ） (2026-03-02T20:42:12Z)
• ReliabilityRAG: Effective and Provably Robust Defense for RAG-based Web-Search [69.60882125603133]
  本稿では,検索した文書の信頼性情報を明確に活用する,敵対的堅牢性のためのフレームワークであるReliabilityRAGを提案する。 我々の研究は、RAGの回収されたコーパスの腐敗に対するより効果的で確実に堅牢な防御に向けた重要な一歩である。
  論文  参考訳（メタデータ） (2025-09-27T22:36:42Z)
• Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version) [1.5997757408973357]
  音響アニメーションを生成するIsabelle形式を用いたNeedham-Schroederプロトコルをモデル化する。 以上の結果から,すべてのシナリオにおいて信頼性が保たれていることが示唆された。 我々は、透かしとジャミングを統合したPLSベースのDiffie-Hellmanプロトコルを提案している。
  論文  参考訳（メタデータ） (2025-08-26T20:59:16Z)
• Towards Copyright Protection for Knowledge Bases of Retrieval-augmented Language Models via Reasoning [58.57194301645823]
  大規模言語モデル(LLM)は、現実のパーソナライズされたアプリケーションにますます統合されている。 RAGで使用される知識基盤の貴重かつしばしばプロプライエタリな性質は、敵による不正使用のリスクをもたらす。 これらの知識基盤を保護するための透かし技術として一般化できる既存の方法は、一般的に毒やバックドア攻撃を含む。 我々は、無害な」知識基盤の著作権保護の名称を提案する。
  論文  参考訳（メタデータ） (2025-02-10T09:15:56Z)
• Short Paper: Accountable Safety Implies Finality [10.589723476970443]
  ビザンチン・フォールト耐性(BFT)状態機械複製(SMR)コンセンサスプロトコルについて、2つの重要なデシラタが研究されている。 説明責任の安全性が最終性を意味することを示し、その結果、以前の結果を統一する。
  論文  参考訳（メタデータ） (2023-08-31T17:58:38Z)

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

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