論文の概要: Renaming or Tightness: Enforcing Disjunctive Information Flow Policies

• arxiv url: http://arxiv.org/abs/2608.09120v1
• Date: Mon, 10 Aug 2026 04:53:10 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-11 19:16:37.084976
• Title: Renaming or Tightness: Enforcing Disjunctive Information Flow Policies
• Title（参考訳）: 改名・密着性:解離型情報フローポリシーの施行
• Abstract要約: 解答的政策は、価値が2つの秘密のうちの少なくとも1つに依存し、その両方に頼らないことを許す。 ハントとサンドスは情報量を導入してセマンティクスを与え、執行層を開放したままにした。 我々は、量子化が求めるフローセンシティブな型システムファミリを構築し、そのようなファミリを有用なものにするオブジェクトを2つに分割することを示す。
• 参考スコア（独自算出の注目度）: 7.541234468065092
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: A disjunctive policy allows a value to depend on at most one of two secrets and never on both: an analyst may consult one client's file or the other's, a share of a split secret may be released but not its sibling. Such policies are not lattice-shaped, and Hunt and Sands introduced the quantale of information to give them a semantics, leaving the enforcement layer open. We build the flow-sensitive type system family that the quantale calls for, and show that the object which makes such families useful, the universal type object from which every member specialises, splits in two, with a consequence for enforcement. Over the free commutative quantale on the program variables the whole mechanism survives for every policy: monotone renaming, canonical derivations, principal typings, internal completeness. Over the free object with idempotent generators the certified bound is strictly more precise and still sound, because it records that two reads of one source honour one disjunct. The gap cannot be closed from inside the independent-attribute family: no mechanism of that shape whose labelling maps support monotone renaming certifies a bound more precise than the first, and for principal typings under generator-exact homomorphic specialisation the two coincide. Under the ethical-wall and secret-sharing labels the second read of a disjunctive source therefore drives every such certificate to no guarantee, and programs that satisfy the policy are rejected. The literal transcription of the lattice-era object is no escape either: it is a further quotient that loses branch disjunction. Precision is recovered by deferring specialisation to the judgement level, and the resulting read-out map is the least sound join-preserving one.
• Abstract（参考訳）: アナリストは、あるクライアントのファイルまたは他のクライアントのファイルを参照でき、分割されたシークレットの共有は解放されるが、その兄弟ではない。 このような方針は格子状ではなく、ハントとサンドスは情報量を導入して意味論を与え、執行層を開放したままにした。 我々は、量子化器が要求するフローセンシティブな型システムファミリを構築し、そのようなファミリを有用なものにするオブジェクト、すなわち、各メンバーが専門とする普遍的な型オブジェクトを2つに分割し、実施する結果を示す。 プログラム変数上の自由可換量子化において、すべてのメカニズムは、モノトーンリネーム、カノニカル導出、主型付け、内部完全性(英語版)など、すべてのポリシーで存続する。 等質な生成子を持つ自由対象の上の証明された境界は厳密で、ある情報源の2つの読み出しが1つの解離を称えるものであることを記録している。 独立属性族の内部からギャップを閉じることはできない: ラベル付け写像がモノトンリネームをサポートするような形状のメカニズムは、最初のものよりも正確な境界を証明し、ジェネレータ-特殊同型特殊化の下でのプリンシパルタイピングについては、この2つが一致する。 倫理的な壁と秘密の共有ラベルの下では、解離源の第2読出は、すべての証明書を保証無しに駆動し、ポリシーを満たすプログラムは拒否される。 格子型オブジェクトのリテラル転写もエスケープされない。 判断レベルまで特殊化を遅延させることで精度を回復し、その結果の読み出しマップは最小の音声結合保存マップとなる。

関連論文リスト

• Differentially Private Semantic Plans for Aggregate Insight Generation [4.832750949021042]
  セマンティックな概念に対する集計と要約のための信頼できるキュレーターフレームワークであるtextttDP-SPIN を紹介する。 CFPBの苦情記事やAmazon All Beautyのレビュー,Yelpのレストランレビューにおいて,textttDP-SPINを記録レベルのプライバシで評価した。
  論文  参考訳（メタデータ） (2026-09-14T19:39:26Z)
• Capability-Gated Language Models: Security Composes, Utility Does Not [0.0]
  セキュリティの構成: モノトーン・エリケーションの仮定の下で、確実に一致して、ポイントワイズします。 2つの系統では、中央のホールドアウトは抑制を深め、残る1つの効果はそれを強化する。
  論文  参考訳（メタデータ） (2026-08-31T22:35:49Z)
• Canonicalization Failures as a Recurring Vulnerability Class: Representation Divergence in Cryptographic Systems and Its Avoidance [0.0]
  この研究は散在する発見を体系的に整理する。 これは、それらが2つの基本的な方向に沿って、1つの違反した一意性条件の例であることを示している。 貢献は明らかにこの現象の発見ではなく、3倍である。
  論文  参考訳（メタデータ） (2026-08-06T18:47:32Z)
• Self-Certification of Representation Adequacy: Sequential Certification at Minimum Task Loss [4.6304326752276985]
  本稿では,表現の自己証明に関する4層理論を考案する。 シーケンシャルレイヤは、タスク損失の通貨において最適な停止問題として認定される。 最終的な境界層は、ポリシーの切り替えや表現の修復をカバーするのに必要なオープン定理を特定する。
  論文  参考訳（メタデータ） (2026-08-03T14:09:34Z)
• A Compositional Theory of Causally Masked Transformers [50.88598486616582]
  モデルが実装した力学から直接表現性を導出する形式化を開発する。 各アテンションヘッドは、レイヤ内で独立して自身の状態を更新する。 修正されたソフトアテンションは、不可逆なチェックリストのような状態をサポートする。
  論文  参考訳（メタデータ） (2026-07-29T14:47:19Z)
• Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness [0.0]
  システムは一貫して適用でき、各レコードが個別に正しく、アーティファクトが宣言しない同じルールを適用できる。 宣言されたアイデンティティ構造は、有限レコードドメインを共参照クラスに分割する。 開示されたメカニズムは、同一ドメインの操作ID分割を誘導する。
  論文  参考訳（メタデータ） (2026-07-22T21:02:37Z)
• From ambiguous utterances to governed reuse classes: canonicalization, quotient invariance, and conditional decidability [0.0]
  再利用は、解決された会話要求の数学的に特徴付けられた商に対して行われるべきである。 リユースIDは、管理されたクエリキーとその認定された応答空間をライセンスする。 支持層は、正確に証明された強度で記述される。
  論文  参考訳（メタデータ） (2026-07-11T01:49:04Z)
• What Accuracy and Gradient Cosine Miss: Evaluating Feedback Alignment via Scale Stability, Reference Validity, and Depth Utility [48.10132234701036]
  本稿では,3つのチェック(スケール安定性,参照妥当性,深度ユーティリティ)に基づく診断評価プロトコルを提案する。 複数のアーキテクチャや手法にまたがって、我々のプロトコルは広い校正マージンを持つ全ての障害を識別する。
  論文  参考訳（メタデータ） (2026-06-19T06:04:17Z)
• Geometric Factual Recall in Transformers [57.48371649045765]
  一般的な見解では、内部の重み行列は埋め込みのペアに対する連想記憶として捉えられ、事実の数と線形にスケールする記憶数を必要とする。 我々は、学習した埋め込みが直接構造を符号化する、別のエンフェロメトリックな形態の記憶の理論的、実証的な説明を開発する。 単層変圧器が被写体から共有属性集合へのランダムベクトルを記憶しなければならない制御環境では、対数埋め込み次元が十分であることを示す。 これらの結果をマルチホップ設定に拡張し、証明可能なチェーン・オブ・シークレットによる構築を提供する。
  論文  参考訳（メタデータ） (2026-05-12T17:22:22Z)
• Language-Guided Open-World Anomaly Segmentation [81.13615952207685]
  ClipomalyはCLIPをベースとした世界初のオープンワールドおよび異常セグメンテーション手法である。 ゼロショットアプローチでは、異常固有のトレーニングデータを必要とせず、未知のオブジェクトをセグメント化するためにCLIPの共有画像テキスト埋め込みスペースを活用する。 本モデルでは,推論時に語彙を動的に拡張し,クラス定義以外の異常の堅牢な検出と命名を可能にする。
  論文  参考訳（メタデータ） (2025-12-01T09:08:59Z)
• Graded Modal Types for Integrity and Confidentiality [0.25782420501870285]
  グレード型システムでは、アノテート型を付加情報で追跡することで、プログラムの異なる特性を追跡できる。 例えば、インフォメーションフロー制御では、型はセキュリティレベルの格子によってグレードされ、非干渉特性が自動的に検証され、強制される。 信頼された出力が信頼できない入力に依存してはならないことを示すプロパティであるIntegrationityは、この文脈では検討されていない。 状況は、線形一意性と型の両方をグレードフレームワークに組み込むという最近の作業と類似しており、このフレーミングを使用して、相互に整合性と機密性の両方を強制できることを示しています。
  論文  参考訳（メタデータ） (2023-09-08T13:40:52Z)
• Collective Robustness Certificates: Exploiting Interdependence in Graph Neural Networks [71.78900818931847]
  ノード分類、画像分割、名前付き一致認識といったタスクでは、複数の予測を同時に出力する分類器があります。 既存の対向ロバスト性証明は、それぞれの予測を独立に考慮し、従ってそのようなタスクに対して過度に悲観的である。 本稿では,摂動下で安定に保たれることが保証される予測数を計算した最初の集合ロバスト性証明を提案する。
  論文  参考訳（メタデータ） (2023-02-06T14:46:51Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)

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

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