論文の概要: Type-Based Enforcement of Non-Interference for Choreographic Programming

• arxiv url: http://arxiv.org/abs/2602.21630v1
• Date: Wed, 25 Feb 2026 06:50:51 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-26 18:19:16.731203
• Title: Type-Based Enforcement of Non-Interference for Choreographic Programming
• Title（参考訳）: コレオグラフィプログラミングのための非干渉の型ベースの強化
• Authors: Marco Bertoni, Saverio Giallorenzo, Marco Peressotti,
• Abstract要約: 我々は,高セキュリティデータから低セキュリティオブザーバへの情報漏洩を防止するためのポリシパラメトリック型システムを開発した。 我々は、標準的な小ステップのセマンティクスに関して、終端非感受性の非干渉を証明した。
• 参考スコア（独自算出の注目度）: 0.25489046505746704
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Choreographies describe distributed protocols from a global viewpoint, enabling correct-by-construction synthesis of local behaviours. We develop a policy-parametric type system that prevents information leaks from high-security data to low-security observers, handling both explicit and implicit flows through a program-counter discipline. The system supports recursive procedures via a procedure context that we reconstruct through constraint generation. We prove termination-insensitive non-interference with respect to a standard small-step semantics.
• Abstract（参考訳）: 振り付けは、グローバルな視点から分散プロトコルを記述し、ローカルな振る舞いの正しい構成合成を可能にする。 我々は,高セキュリティデータから低セキュリティオブザーバへの情報漏洩を防止し,プログラムカウンタの規律を通した明示的および暗黙的なフローを処理できるポリシパラメトリック型システムを開発した。 本システムは制約生成を通じて再構築する手続きコンテキストを介して再帰的手続きをサポートする。 我々は、標準的な小ステップのセマンティクスに関して、終端非感受性の非干渉を証明した。

関連論文リスト

• The Emergence of Lab-Driven Alignment Signatures: A Psychometric Framework for Auditing Latent Bias and Compounding Risk in Generative AI [0.0]
  本稿では,不確実性の下での潜在特性推定を定量化する新しい監査フレームワークを提案する。 この研究は最適化バイアス、Sycophancy、Status-Quo Legitimizationを含む9つの次元にわたる主要なモデルを監査している。
  論文  参考訳（メタデータ） (2026-02-19T06:56:01Z)
• Drift-Bench: Diagnosing Cooperative Breakdowns in LLM Agents under Input Faults via Multi-Turn Interaction [20.610305266852638]
  textbfDrift-Benchは、入力故障下でエージェントの実用性を評価する最初の診断ベンチマークである。 方法ブリッジは、安全でない実行に繋がる障害の体系的な診断を可能にする、明確化研究とエージェントの安全性評価を橋渡しする。
  論文  参考訳（メタデータ） (2026-02-02T18:46:16Z)
• Enhancing Privacy in Semantic Communication over Wiretap Channels leveraging Differential Privacy [51.028047763426265]
  セマンティック通信(SemCom)は,タスク関連情報に着目して伝送効率を向上させる。 セマンティックリッチなデータをセキュアでないチャネルで送信すると、プライバシのリスクが生じる。 本稿では,セマンティックなセマンティックな特徴を保護するために,差分プライバシー機構を統合した新しいSemComフレームワークを提案する。
  論文  参考訳（メタデータ） (2025-04-23T08:42:44Z)
• Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version) [2.9406674433083686]
  Reachability Typesは、高次のプログラムのエイリアスと分離を追跡する。 RTを表現性を高める3つのメカニズムで拡張する。 これらの拡張は$mathsfF_:circ$-calculusで定式化され、型音の機械的な証明である。
  論文  参考訳（メタデータ） (2025-03-10T13:42:02Z)
• CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection [41.94295877935867]
  我々は,新たな暗号プロトコルの脆弱性を自律的に識別する大規模言語モデルの能力を評価するためのベンチマークを導入する。 私たちは、新しい、欠陥のある通信プロトコルのデータセットを作成し、AIエージェントが発見した脆弱性を自動的に検証する方法を設計しました。
  論文  参考訳（メタデータ） (2024-11-20T14:16:55Z)
• Con-ReCall: Detecting Pre-training Data in LLMs via Contrastive Decoding [118.75567341513897]
  既存のメソッドは通常、ターゲットテキストを分離して分析するか、非メンバーコンテキストでのみ分析する。 Con-ReCallは、メンバと非メンバのコンテキストによって誘導される非対称な分布シフトを利用する新しいアプローチである。
  論文  参考訳（メタデータ） (2024-09-05T09:10:38Z)
• Unified Risk Analysis for Weakly Supervised Learning [65.75775694815172]
  弱教師付き学習のための包括的理解と統一的方法論を提供する枠組みを導入する。 フレームワークの定式化コンポーネントは、汚染の観点から、どのように弱い監督が形成されるかの統一的な解釈を提供する。 フレームワークの分析コンポーネントは、汚染除去プロセスと見なされ、リスクの書き直しを行う体系的な方法を提供する。
  論文  参考訳（メタデータ） (2023-09-15T07:30:15Z)
• In-Distribution Barrier Functions: Self-Supervised Policy Filters that Avoid Out-of-Distribution States [84.24300005271185]
  本稿では,任意の参照ポリシーをラップした制御フィルタを提案する。 本手法は、トップダウンとエゴセントリックの両方のビュー設定を含むシミュレーション環境における2つの異なるビズモータ制御タスクに有効である。
  論文  参考訳（メタデータ） (2023-01-27T22:28:19Z)
• Hierarchical Variational Imitation Learning of Control Programs [131.7671843857375]
  パラメータ化された階層的手順(PHP)で表される制御ポリシーの模倣学習のための変分推論手法を提案する。 本手法は, 教師による実演の観察・行動トレースのデータセットにおける階層構造を, 手続き呼び出しや用語の待ち行列に近似した後続分布を学習することによって発見する。 階層的模倣学習(hierarchical mimicion learning)の文脈における変分推論の新たな利点を実証する。
  論文  参考訳（メタデータ） (2019-12-29T08:57:02Z)

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

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