論文の概要: Layer Order Semantics for Automata-Based Cybersecurity

• arxiv url: http://arxiv.org/abs/2606.10649v1
• Date: Tue, 09 Jun 2026 09:57:45 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-11 16:42:38.018016
• Title: Layer Order Semantics for Automata-Based Cybersecurity
• Title（参考訳）: オートマタによるサイバーセキュリティのための層次セマンティクス
• Abstract要約: 本稿では,層次オートマトンから構築した有限状態意味論について述べる。 HTTPリクエストのデ同期: フロントエンドとバックエンドのプロセッサは互換性のない要求境界を計算します。 結果は、完全なトレース認識、オンライン編集、意思決定合成、忠実な執行を分離する。
• 参考スコア（独自算出の注目度）: 0.2864713389096699
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: Layered cybersecurity pipelines transform evidence before they decide on it, and the order of those transformations determines which security facts become visible to which layer. This paper gives layer order a finite-state semantics built from a layer-order automaton, deterministic sequential security transducers, evidence markers, and a final decision automaton. The worked case is HTTP request desynchronization: front-end and back-end processors compute incompatible request boundaries, and the same trace is detected or missed according to whether framing evidence reaches the parser-differential layer before it commits. The results separate completed-trace recognition, online editing, decision synthesis, and faithful enforcement; characterize faithful online enforcement as the regular prefix-closed case under causal visibility; and show that regular policies beyond that boundary remain recognizable without becoming deployable enforcers. The framework is monolithically equivalent to finite-output deterministic edit automata, while preserving layer-local invariants such as marker birth, marker survival, and reorder-sensitive visibility. A concrete parser-pair semantics identifies the forbidden marker factor with CL.TE, TE.CL, TE.TE, and HTTP/2-downgrade boundary disagreement under the stated abstraction, and a contextual reorder congruence classifies which component permutations induce the same decision language. The result is an automata-theoretic account of order-sensitive security failures and a compositional vocabulary for auditing, synthesizing, and comparing layered enforcement pipelines.
• Abstract（参考訳）: 階層化されたサイバーセキュリティパイプラインは、それを決定する前に証拠を変換し、それらの変換の順序は、どの層にどのセキュリティ事実が見えるかを決定する。 本稿では,層次オートマトン,決定論的逐次セキュリティトランスデューサ,エビデンスマーカー,最終決定オートマトンから構築した有限状態セマンティクスについて述べる。 フロントエンドプロセッサとバックエンドプロセッサは互換性のない要求境界を計算し、フレーミングエビデンスがコミット前にパーサ差分層に到達するかどうかに応じて同じトレースが検出または見逃される。 その結果, 完全トレース認識, オンライン編集, 決定合成, 忠実な執行を分離し, 正統なオンライン執行を因果的可視性の下での通常の接頭辞として特徴付けるとともに, その境界を超える定期的な政策が, 展開可能な執行者になることなく認識可能であることを示す。 このフレームワークは有限出力決定論的編集オートマトンとモノリシックに等価であり、マーカー生成、マーカサバイバル、リオーダーセンシティブな可視性といった局所的な不変性を保っている。 具体的パーサペアのセマンティクスでは、CL.TE、TE.CL、TE.TE、HTTP/2のダウングレード境界の不一致が禁止されているマーカー因子を識別し、コンテキスト順の一致は、どのコンポーネントの置換が同じ決定言語を誘導するかを分類する。 その結果、順序に敏感なセキュリティ障害のオートマチックな説明と、階層化された実行パイプラインの監査、合成、比較のための構成語彙が得られた。

関連論文リスト

• The Shape of Ownership: Verifying LLM Provenance through Semantic Structures [38.16125764360159]
  ProSEを導入し、固定されたクエリセットをターゲットのセマンティックドメインに置き換え、応答キーをドメイン条件の応答として意味構造に置き換える。 PROSEは、ドメイン固有のセマンティックテンプレートのプライベートバンクを構築し、構造的検証とクリーン応答の混合微調整によってそれらを内部化し、保持された自然クエリに対する応答で指定された構造を検出してオーナシップを検証する。
  論文  参考訳（メタデータ） (2026-09-02T13:04:51Z)
• 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)
• PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
  我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。 セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。 SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。 ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
  論文  参考訳（メタデータ） (2026-07-18T04:46:53Z)
• Inherited Circuits, Learned Semantics: How Fine-Tuning Creates Evasion Vulnerabilities Invisible to Standard Evaluation [0.0]
  セキュリティ分類のために微調整されたLLMは、通常、トレーニングデータと同じ分布から保持された例で評価される。 これは、微調整自体によって導入された脆弱性を見逃す可能性があることを示す。 セキュリティの微調整により,回避面を拡大しながらタスクの精度が向上することを示す。
  論文  参考訳（メタデータ） (2026-06-25T14:29:03Z)
• VCT: A Verifiable Transcript System for LLM Conversations [5.3181399750078535]
  Verifiable Conversation Transcriptは、非線形LLMセマンティック操作を、アカウントレベルの認証状態遷移に組み込む。 セキュリティ分析は、標準的な暗号的仮定の下では、VCTがアカウントレベルの会話記録の完全性、一貫性、検証可能な共有性、非監査を保証することを証明している。
  論文  参考訳（メタデータ） (2026-06-22T08:17:39Z)
• Towards Human-Like Interactive Speech Recognition With Agentic Correction and Semantic Evaluation [53.844308305341166]
  単一パスのASRフロントエンドと意味的訂正,意図のルーティング,推論に基づく編集を組み合わせた閉ループフレームワークである textbfAgentic ASR を提案する。 複数言語、名前付き集中型、コードスイッチングベンチマークの実験は、反復的相互作用が意味的誤りを一貫して減少させることを示している。
  論文  参考訳（メタデータ） (2026-05-28T06:23:31Z)
• Semantic Robustness Probing via Inpainting: An Interactive Tool for Safety-Critical Object Detection [0.47248250311484113]
  安全クリティカルな領域で物体検出器をテストするには、ピクセルレベルの破損を超えた意味論的に意味のあるプローブが必要である。 本稿ではセマンティックロバストネス探索ツールSemProbeを紹介する。
  論文  参考訳（メタデータ） (2026-05-26T15:15:38Z)
• Agentic Model Checking [12.832868209928039]
  本稿では,LLMエージェントと境界モデルチェックバックエンドを結合するパラダイムを提案する。 我々は、BMC-Agentのアプローチをインスタンス化し、CとRustのLLM生成カーネルおよびコンパイラコード上で評価する。
  論文  参考訳（メタデータ） (2026-05-20T17:25:52Z)
• AnchorSeg: Language Grounded Query Banks for Reasoning Segmentation [56.21301367698041]
  AnchorSegを導入し、画像トークン上での条件生成の構造化として、推論セグメンテーションを再構成する。 我々は、アンカークエリがローカライズ信号を決定する画像トークン上の因子分布として空間条件をモデル化する。 Token-Mask Cycle Consistency (TMCC)を提案する。
  論文  参考訳（メタデータ） (2026-04-20T17:49:22Z)
• A Trace-Based Assurance Framework for Agentic AI Orchestration: Contracts, Testing, and Governance [0.22940141855172028]
  本稿では,Large Language Models (LLM) を用いたエージェントAIシステムの保証フレームワークを提案する。 実行は、明示的なステップとトレースコントラクトを備えたメッセージ・アクション・トレース(MAT)として実装される。 このフレームワークは、有界摂動に対する予算付き反例探索として定式化されたストレステストを含む。
  論文  参考訳（メタデータ） (2026-03-18T10:23:48Z)
• Authenticated Contradictions from Desynchronized Provenance and Watermarking [48.47756819432157]
  この研究は、$textitIntegrity Clash$を形式化し、実証的に実証している。 本稿では,3500枚のテスト画像に対して100%の分類精度を達成し,証明メタデータと透かし検出ステータスを共同評価する層間監査プロトコルを提案する。
  論文  参考訳（メタデータ） (2026-03-02T20:42:12Z)
• On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains [0.0]
  本稿では,暗号的に固定された決定論的計算フレームワークであるMerkle Automatonの概念を紹介する。 各エージェントのトランジション、メモリフラグメント、推論ステップは、オンチェーンでルートされたMerkle構造内で実行される。 このアーキテクチャはメモリをキャッシュではなく台帳として再設定する - 内容がプロトコルによって強制され、暗号によって拘束され、形式論理によって制約される。
  論文  参考訳（メタデータ） (2025-06-16T08:43:56Z)
• Towards Copyright Protection for Knowledge Bases of Retrieval-augmented Language Models via Reasoning [58.57194301645823]
  大規模言語モデル(LLM)は、現実のパーソナライズされたアプリケーションにますます統合されている。 RAGで使用される知識基盤の貴重かつしばしばプロプライエタリな性質は、敵による不正使用のリスクをもたらす。 これらの知識基盤を保護するための透かし技術として一般化できる既存の方法は、一般的に毒やバックドア攻撃を含む。 我々は、無害な」知識基盤の著作権保護の名称を提案する。
  論文  参考訳（メタデータ） (2025-02-10T09:15:56Z)
• Auditing AI models for Verified Deployment under Semantic Specifications [65.12401653917838]
  AuditAIは、解釈可能な形式検証とスケーラビリティのギャップを埋める。 AuditAIは、画素空間の摂動のみを用いた検証の限界に対処しながら、検証と認定トレーニングのための制御されたバリエーションを得られるかを示す。
  論文  参考訳（メタデータ） (2021-09-25T22:53:24Z)

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

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