論文の概要: Federated Sovereign Transport Protocol (FSTP): Verifiable Coordination Without Disclosure
- arxiv url: http://arxiv.org/abs/2607.00213v1
- Date: Tue, 30 Jun 2026 21:44:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-02 19:56:07.648061
- Title: Federated Sovereign Transport Protocol (FSTP): Verifiable Coordination Without Disclosure
- Title（参考訳）: FSTP(Federated Sovereign Transport Protocol) 開示不要の検証可能なコーディネート
- Abstract要約: 本稿では,フェデレート・ソブリン・トランスポートプロトコル(FSTP)について紹介する。
FSTPは、データ閉じ込めをプロトコル自体の特性にする。
機密性要件を要求される機関のためのガバナンスプラットフォームであるVelyzorのノード間トランスポート層として開発されている。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This paper introduces the Federated Sovereign Transport Protocol (FSTP), a synchronization boundary and transport layer for federated networks in which nodes have heterogeneous privacy requirements. Existing federation protocols leave data confinement to operator policy: they define message formats and delivery semantics but impose no structural constraint on what a conforming server may emit. FSTP addresses this gap by making data confinement a property of the protocol itself. The central mechanism is a synchronization agent whose output type set is formally closed. Raw internal data cannot appear in any federation message because the constraint is enforced by the Rust type system at compile time, not by a runtime check. A contextual identity model derives a separate, unlinkable identifier for each federation relationship, preventing cross-context correlation structurally. A Blocklace-based event substrate provides tamper-evident, partially ordered logging with synchronization cost proportional to the symmetric difference between node states, and supports data erasure without breaking the hash chain. The result is proof without exposure: a federation participant can verify that a process occurred, that a credential is authentic, and that an outcome is uncorrupted without accessing the internal data that produced these artifacts. FSTP is developed as the inter-node transport layer of Velyzor, a governance platform for institutions with demanding confidentiality requirements. The specification and reference implementation are released as open-source infrastructure under Apache 2.0; source code and figures accompany this paper.
- Abstract（参考訳）: 本稿では、ノードが不均一なプライバシ要件を持つフェデレーションネットワークのための同期境界とトランスポート層であるFSTP(Federated Sovereign Transport Protocol)を紹介する。
既存のフェデレーションプロトコルは、データ制限をオペレータポリシーに任せる: メッセージフォーマットと配信セマンティクスを定義するが、適合するサーバが出力する可能性のあるものに構造的な制約を課すことはない。
FSTPは、データ閉じ込めをプロトコル自体の特性にすることで、このギャップに対処する。
中央機構は、出力型セットが正式にクローズされた同期エージェントである。
ランタイムチェックではなく、コンパイル時にRustの型システムによって制約が強制されるため、生の内部データはフェデレーションメッセージには表示できない。
コンテキストIDモデルは、それぞれのフェデレーション関係に対して分離されたリンク不能な識別子を導出し、コンテキスト間の相関を構造的に防止する。
Blocklaceベースのイベント基板は、ノード状態間の対称差に比例した同期コストで、一部順序付けされたタンパーエビデントなロギングを提供し、ハッシュチェーンを壊さずにデータ消去をサポートする。
フェデレーション参加者は、プロセスが生じたこと、資格が本物であること、結果がこれらのアーティファクトを作成した内部データにアクセスせずに破壊されることを検証できます。
FSTPは機密性の要求のある機関のためのガバナンスプラットフォームであるVelyzorのノード間トランスポート層として開発されている。
仕様とリファレンスの実装はApache 2.0の下でオープンソースインフラストラクチャとしてリリースされている。
関連論文リスト
- Closing the Loop: Bidirectional Fully Encrypted Protocols [2.331160520377439]
双方向プロトコル(FEP)のセキュリティ定義を新たに導入する。
FEPは、全てのプロトコル生成バイトが一様ランダム文字列と計算的に区別できないように暗号化されたチャネルを提供する。
我々は、データストリームとデータグラムの設定の両方に対して、確実にセキュアな双方向FEPを構築します。
論文 参考訳（メタデータ） (2026-09-15T16:32:07Z) - Formal Verification of Agentic Systems over Operational Data [59.98246281888422]
大規模言語モデル(LLM)によって駆動されるエージェントシステムは、永続的な運用データを扱う現実世界にますます展開されている。
既存のアプローチはそのようなシステムレベルの保証を提供していません。
本稿では, 1 つの LLM とツールオーケストレーションハーネスからなるエージェントシステムのリレーショナル操作データに対する検証について述べる。
論文 参考訳（メタデータ） (2026-08-04T13:01:30Z) - Semantic Non-Assembly: Privacy by Architectural Inertness Under Component Exposure [0.0]
プライバシー保証のクラス(Semantic Non-Assembly)を紹介する。
SNAでは、プライバシは露光の難しさではなく、露光時の情報収量によって特徴づけられる。
本稿では、保証を形式化し、4つのProVerif検証プロパティを確立する。
論文 参考訳（メタデータ） (2026-06-21T02:40:29Z) - did:crdt: Coordination-Free Decentralised Identifiers via Signed CRDTs [0.0]
既存の分散識別子(DID)メソッドは、DID文書を更新するために、合意されたグローバルな操作順序である調整を必要とする。
我々は、W3C DID CoreをターゲットにしたDIDメソッドであるcrdtを提示した。
それぞれのDIDドキュメントは、署名付きConflict-Free Replicated Data Types (CRDTs)で構成され、文書フィールド毎に1つずつ選択され、コンカレント編集が決定的にマージされる。
論文 参考訳（メタデータ） (2026-06-15T05:04:47Z) - PriSrv: Privacy-Enhanced and Highly Usable Service Discovery in Wireless Communications [43.30406587083713]
既存のプロトコルは、プライバシ保護の制限、機密性の高いデバイス情報の漏洩、ネットワーク攻撃へのルートの開放を提供する。
本稿では、PriSrvと呼ばれるプライベートなサービスディスカバリプロトコルを提案し、サービスプロバイダとクライアントの両方が、きめ細かい認証ポリシーを指定できるようにする。
論文 参考訳（メタデータ） (2026-06-04T08:00:31Z) - TIP: A Decentralized Intent-Based Protocol for Declarative IoT Interoperability and Sandboxed Schema Adaptation [0.0]
本稿では,分散型宣言型ネットワークプロトコルであるTIP(The Intent Protocol)を提案する。
特定の物理的エンドポイントに対処する代わりに、ノードは望ましい機能、スキーマ、QoS(Quality of Service)制約を指定する抽象的なインテントを送信します。
選択は、ネットワークレイテンシ、過去の評価、契約遵守を組み込んだマルチ基準スコアリングアルゴリズムによって最適化される。
セキュリティは、Ed25519署名、X25519鍵交換、Cha20-PolyWAS 1305ペイロード暗号化によって強制される。
論文 参考訳（メタデータ） (2026-05-25T01:28:12Z) - Sovereign Context Protocol: An Open Attribution Layer for Human-Generated Content in the Age of Large Language Models [0.0]
Sovereign Context Protocolは、大規模言語モデルと人為的コンテンツの間の属性対応データアクセス層として機能する。
SCPは6つのコアメソッド(クリエータプロファイル、セマンティック検索、コンテンツ検索、信頼/価値評価、信頼性検証、アクセス監査)を、RESTとMPP互換インターフェースの両方で公開している。
論文 参考訳（メタデータ） (2026-03-28T02:28:41Z) - Federated Computing as Code (FCaC): Sovereignty-aware Systems by Design [0.0]
フェデレートコンピューティング(FC)は、生データをローカルに保持する分散組織間で、機械学習、分析、データ処理などの協調的な計算を可能にする。
FCaCは、権威と委譲を、オンラインポリシーの解釈に頼るのではなく、暗号的に検証可能なアーティファクトにコンパイルすることで、このギャップに対処する宣言的アーキテクチャである。
提案手法は,MNISTを補助的作業負荷として用いた概念横断型学習ワークフローの実証と,封筒発行,境界検証,封筒トリガー訓練のオープンソース実装の公開である。
論文 参考訳（メタデータ） (2026-03-18T03:52:40Z) - FedCova: Robust Federated Covariance Learning Against Noisy Labels [43.148009645442926]
分散データセットにおけるノイズラベルは、高度に局所的なオーバーフィッティングを誘発し、フェデレートラーニング(FL)におけるグローバルモデルを損なう
既存のソリューションのほとんどは、モデル自体に堅牢性を持たせるのではなく、クリーンデバイスやパブリックデータセットとの整合性に依存しています。
FedCovaはデータを差別的だが弾力性のある空間にエンコードしてラベルノイズを許容する。
我々は、不均一なデータ分布の下で、対称および非対称ノイズ設定の両方にFedCovaを実装した。
論文 参考訳（メタデータ） (2026-03-04T13:40:09Z) - Towards Federated Clustering: A Client-wise Private Graph Aggregation Framework [57.04850867402913]
フェデレーションクラスタリングは、分散化されたラベルのないデータからパターンを抽出する課題に対処する。
本研究では,プライバシ保護のための知識共有媒体として,局所構造グラフを革新的に活用する新しいアルゴリズムSPP-FGCを提案する。
我々のフレームワークは最先端のパフォーマンスを実現し、認証可能なプライバシー保証を維持しつつ、フェデレーションベースラインよりも最大10%(NMI)のクラスタリング精度を向上させる。
論文 参考訳（メタデータ） (2025-11-14T03:05:22Z) - Decoupled Subgraph Federated Learning [57.588938805581044]
複数のクライアントに分散したグラフ構造化データに対するフェデレーション学習の課題に対処する。
我々は、このシナリオのための新しいフレームワーク、FedStructを紹介します。
半教師付きノード分類のための6つのデータセットを用いて実験結果を用いてFedStructの有効性を検証する。
論文 参考訳（メタデータ） (2024-02-29T13:47:23Z) - Federated Causal Discovery from Heterogeneous Data [70.31070224690399]
任意の因果モデルと異種データに対応する新しいFCD法を提案する。
これらのアプローチには、データのプライバシを保護するために、生データのプロキシとして要約統計を構築することが含まれる。
提案手法の有効性を示すために, 合成および実データを用いた広範囲な実験を行った。
論文 参考訳（メタデータ） (2024-02-20T18:53:53Z) - UFed-GAN: A Secure Federated Learning Framework with Constrained
Computation and Unlabeled Data [50.13595312140533]
本稿では,UFed-GAN: Unsupervised Federated Generative Adversarial Networkを提案する。
実験により,プライバシを保ちながら,限られた計算資源とラベルなしデータに対処するUFed-GANの強い可能性を示す。
論文 参考訳（メタデータ） (2023-08-10T22:52:13Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。