論文の概要: 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（参考訳）: 信頼境界セマンティックギャップ:多次元解析とセキュリティ・バイ・デザインの軽減
- Authors: Doyeon Kim, Jin-Young Choi, Junghee Lee,
- 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サプライチェーン攻撃の振り返りに応用し、受信ドメインの仮定を明確にし、伝播ギャップから局所的に分離し、経路を中断する制御を特定する。
これらの結果から, 統語的検証は信頼境界において不十分であり, 信頼境界の仮定を明確にすることで, セキュリティ・バイ・デザインを補完できる可能性が示唆された。
関連論文リスト
- 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。