論文の概要: Towards Trusted Service Monitoring: Verifiable Service Level Agreements
- arxiv url: http://arxiv.org/abs/2510.13370v1
- Date: Wed, 15 Oct 2025 10:02:29 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-16 20:13:28.615728
- Title: Towards Trusted Service Monitoring: Verifiable Service Level Agreements
- Title（参考訳）: 信頼されたサービス監視に向けて: 検証可能なサービスレベルの合意
- Authors: Fernando Castillo, Eduardo Brito, Sebastian Werner, Pille Pullonen-Raudvere, Jonathan Heiss,
- Abstract要約: サービス指向環境におけるSLA(Service Level Agreement)監視は、プロバイダがメトリクスを自己報告する場合、固有の信頼の衝突に悩まされます。
信頼性のあるハードウェアモニタとゼロ知識証明を通じて、検証可能なSLA違反クレームを生成するためのフレームワークを導入する。
- 参考スコア（独自算出の注目度）: 37.76528129929801
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Service Level Agreement (SLA) monitoring in service-oriented environments suffers from inherent trust conflicts when providers self-report metrics, creating incentives to underreport violations. We introduce a framework for generating verifiable SLA violation claims through trusted hardware monitors and zero-knowledge proofs, establishing cryptographic foundations for genuine trustworthiness in service ecosystems. Our approach starts with machine-readable SLA clauses converted into verifiable predicates and monitored within Trusted Execution Environments. These monitors collect timestamped telemetry, organize measurements into Merkle trees, and produce signed attestations. Zero-knowledge proofs aggregate Service-Level Indicators to evaluate compliance, generating cryptographic proofs verifiable by stakeholders, arbitrators, or insurers in disputes, without accessing underlying data. This ensures three security properties: integrity, authenticity, and validity. Our prototype demonstrates linear scaling up to over 1 million events per hour for measurements with near constant-time proof generation and verification for single violation claims, enabling trustless SLA enforcement through cryptographic guarantees for automated compliance verification in service monitoring.
- Abstract（参考訳）: サービス指向環境におけるサービスレベルアグリーメント(SLA)監視は、プロバイダがメトリクスを自己報告する場合に固有の信頼の対立に悩まされ、違反を過小評価するインセンティブを生み出します。
信頼性のあるハードウェアモニタとゼロ知識証明を通じて、検証可能なSLA違反のクレームを生成するためのフレームワークを導入し、サービスエコシステムにおける真の信頼性のための暗号基盤を確立する。
我々のアプローチは、機械可読なSLA節を検証可能な述語に変換し、信頼された実行環境内で監視することから始まります。
これらのモニターはタイムスタンプ付きテレメトリを収集し、マークルツリーに測定を整理し、署名された証明を生成する。
Zero-knowledge proofs aggregate Service-Level Indicators to evaluate compliance, generated cryptographic proofs verible by stakeholders, arbitrator, or insurers in disputes, without accessing underlying data。
これにより、完全性、信頼性、妥当性の3つのセキュリティ特性が保証される。
当社のプロトタイプでは,1時間あたり100万件以上のイベントを,ほぼ一定時間に近い証明生成と単一違反クレームの検証で線形にスケールアップし,サービス監視におけるコンプライアンス自動検証の保証を通じて,信頼性のないSLA適用を可能にする。
関連論文リスト
- VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation [40.594947933580464]
医療などのセンシティブなドメインに自律的なAIエージェントを配置することは、安全性、セキュリティ、プライバシに重大なリスクをもたらす。
LLMをベースとしたエージェントに対して、正式な安全保証を提供する新しいフレームワークであるVeriGuardを紹介する。
論文 参考訳（メタデータ） (2025-10-03T04:11:43Z) - Context Lineage Assurance for Non-Human Identities in Critical Multi-Agent Systems [0.08316523707191924]
本稿では,アタッチメントのみのメルクル木構造に固定された系統検証のための暗号的基盤機構を提案する。
従来のA2Aモデルとは異なり、本手法ではエージェントと外部検証器の両方が暗号的にマルチホップ前駆体を検証できる。
並行して、A2Aエージェントカードを拡張して、明示的な識別認証プリミティブを組み込むことにより、NHI表現の正当性を確認することができる。
論文 参考訳（メタデータ） (2025-09-22T20:59:51Z) - Confidential Guardian: Cryptographically Prohibiting the Abuse of Model Abstention [65.47632669243657]
不正直な機関は、不確実性の観点からサービスを差別または不正に否定する機構を利用することができる。
我々は、ミラージュと呼ばれる不確実性誘導攻撃を導入することで、この脅威の実践性を実証する。
本研究では,参照データセット上のキャリブレーションメトリクスを分析し,人工的に抑制された信頼度を検出するフレームワークであるConfidential Guardianを提案する。
論文 参考訳（メタデータ） (2025-05-29T19:47:50Z) - A Label-Free Heterophily-Guided Approach for Unsupervised Graph Fraud Detection [60.09453163562244]
本稿では,非教師付きGFDのための非教師付きグラフ不正検出手法(HUGE)を提案する。
推定モジュールでは、GFD の臨界グラフ特性をキャプチャする HALO と呼ばれる新しいラベルフリーなヘテロフィリー計量を設計する。
アライメントに基づく不正検出モジュールにおいて、ランキング損失と非対称アライメント損失を有する合同GNNアーキテクチャを開発する。
論文 参考訳（メタデータ） (2025-02-18T22:07:36Z) - Formal Verification of Permission Voucher [1.4732811715354452]
Permission Voucher Protocolは、分散環境におけるセキュアで認証されたアクセス制御のために設計されたシステムである。
この分析では、重要なセキュリティ特性を評価するために、象徴的検証のための最先端のツールであるTamarin Proverを使用している。
結果は、メッセージの改ざん、偽装、リプレイなどの一般的な攻撃に対するプロトコルの堅牢性を確認する。
論文 参考訳（メタデータ） (2024-12-18T14:11:50Z) - Agora: Trust Less and Open More in Verification for Confidential Computing [19.05703756097075]
本稿では,この課題を克服するために設計された新しいバイナリ検証サービスであるAGORAを紹介する。
あるタスクは信頼できないエンティティに委譲でき、対応するバリデーターは信頼されたコンピューティングベースに確実に格納される。
ブロックチェーンベースの新たな報奨金タスクマネージャを通じて、クラウドソーシングを使用して、定理証明者の信頼を取り除く。
論文 参考訳（メタデータ） (2024-07-21T05:29:22Z) - FedGT: Identification of Malicious Clients in Federated Learning with Secure Aggregation [69.75513501757628]
FedGTは、フェデレーション学習における悪意のあるクライアントを安全なアグリゲーションで識別するための新しいフレームワークである。
我々はPillutlaらによって最近提案された幾何的中央値に基づいて,FedGTがプライベートロバストアグリゲーションアプローチを著しく上回っていることを示す。
論文 参考訳（メタデータ） (2023-05-09T14:54:59Z) - Confidence Composition for Monitors of Verification Assumptions [3.500426151907193]
本稿では,検証仮説の信頼性をモニタリングする3段階の枠組みを提案する。
2つのケーススタディにおいて、構成されたモニターが構成成分よりも改善し、安全違反を予測できることを実証した。
論文 参考訳（メタデータ） (2021-11-03T18:14:35Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。