論文の概要: Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs
- arxiv url: http://arxiv.org/abs/2607.11466v1
- Date: Mon, 13 Jul 2026 12:21:08 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-14 17:47:21.461308
- Title: Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs
- Title（参考訳）: Prezta: SNARKを用いたゼロトラスト認証の可能なリモート実行
- Abstract要約: ゼロトラスト認証の遠隔実行(Prezta)を提案する。
Preztaは、クライアント上で動作するゼロ知識仮想マシン(zkVM)内のポリシーを評価することで、ゲートウェイを廃止する。
我々は、XACML 3.0ポリシーとJWTアイデンティティークレームをサポートするRISC Zero zkVMを使用して構築されたプロトタイプを実装した。
- 参考スコア（独自算出の注目度）: 4.597186239326157
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Modernizing the security of operational technology systems that control critical infrastructure has become a pressing challenge. Because edge devices have limited capabilities, modernization has relied on application gateways that interface with identity management systems and enforce access policies. These gateways are powerful enough to perform complex authorization decisions and support zero-trust architectures, but they create major deployment and management burdens: they must be collocated with remote, distributed edge devices, kept up to date with security patches, and managed with minimal downtime. We propose Provable Remote Execution of Zero-Trust Authorization (Prezta), an architecture that eliminates these gateways by evaluating policies within a zero-knowledge virtual machine (zkVM) running on the client. The zkVM produces a succinct proof of authorization that edge devices can verify efficiently, extending the zero-trust security envelope to the edge. Policies and identity management schemes can evolve without updating edge devices. To demonstrate the feasibility of Prezta, we implement a prototype built using the RISC Zero zkVM that supports XACML 3.0 policies and JWT identity claims. While zkVMs introduce substantial proof overhead, we mitigate this overhead by compiling policies to Rust code and precompiling regular expressions. Combined with optimized signature verification and JWT parsing, these measures reduce prover time by more than an order of magnitude. Our compiler correctly implements 83\% of the XACML 3.0 conformance suite, with proof generation completing in tens of seconds on a desktop. Verification, by contrast, takes only tens of milliseconds, which is fast enough for resource-constrained edge devices.
- Abstract（参考訳）: 重要なインフラを制御する運用技術システムのセキュリティを近代化することは、ますます困難になっている。
エッジデバイスは機能に制限があるため、近代化はID管理システムとインターフェースし、アクセスポリシーを強制するアプリケーションゲートウェイに依存している。
これらのゲートウェイは、複雑な認証決定を実行し、ゼロトラストアーキテクチャをサポートするのに十分強力だが、デプロイと管理の大きな負担を発生させる。
クライアント上で動作するゼロ知識仮想マシン(zkVM)内のポリシーを評価することにより,これらのゲートウェイを排除したアーキテクチャであるProvable Remote Execution of Zero-Trust Authorization (Prezta)を提案する。
zkVMは、エッジデバイスが効率的に検証できることを簡潔に証明し、ゼロトラストセキュリティエンベロープをエッジに拡張する。
エッジデバイスを更新することなく、ポリシとID管理スキームを進化させることができる。
Preztaの実現可能性を示すために、XACML 3.0ポリシーとJWTID要求をサポートするRISC Zero zkVMを使用して構築されたプロトタイプを実装した。
zkVMには相当な証明オーバーヘッドがありますが、Rustコードへのポリシのコンパイルと正規表現の事前コンパイルによって、このオーバーヘッドを軽減することができます。
最適化されたシグネチャ検証とJWT解析を組み合わせることで、これらの尺度は1桁以上の証明時間を削減することができる。
我々のコンパイラは、XACML 3.0準拠スイートの83%を正しく実装し、証明生成はデスクトップ上で数十秒で完了する。
一方、検証には数十ミリ秒しかかからないが、リソース制約のあるエッジデバイスでは十分速い。
関連論文リスト
- LMSM: LLM Security Framework Inspired by Linux Security Modules [56.93644694627783]
大規模言語モデル(LLM)は階層化されたディフェンスでデプロイされることが多いが、悪意のあるプロンプトはそれらをバイパスすることができる。
我々は,Language Model Security Modules (LMSM) という,Linux Security Modules (LSM) の背後にある分離を LLM サービスに適応させるセキュリティフレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-26T12:13:05Z) - SafeGuard: A Lightweight Client-Server Architecture for Real-Time Endpoint Threat Detection and Response [0.0]
本稿では,リアルタイム監視,脅威報告,管理応答のための軽量な3層サーバアーキテクチャであるSafeGuardを提案する。
その結果,オープンソース技術スタックは,商用ライセンスのコストを伴わずに,リアルタイムのエンドポイントの可視化と管理の調整を行うことができることがわかった。
論文 参考訳（メタデータ） (2026-07-10T23:12:57Z) - Understanding and Evaluating Claw-like Agent Security Through a Computer-Systems Lens [65.53494487819053]
クローのようなAIエージェント(OpenClawなど)は、認証情報、ファイル、ツール、外部サービスへの永続的なアクセスを伴う、常にオンのプロセスである。
我々はClawのようなエージェントをエージェントコンピュータシステムとして扱い、そのゲートウェイランタイムがOSのような仲介の役割を担っている。
我々は、4つの攻撃面にわたる406の敵タスクのベンチマークであるSafeClawArenaを開発した。
論文 参考訳（メタデータ） (2026-06-29T18:00:45Z) - FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices [90.91375734523943]
FIDEMは、DHCPベースのMUDURL発行を保証するための標準準拠のフレームワークである。
これはZero-Knowledge-Proof認証を利用することで、IoTデバイスとそのMUDプロファイル間の暗号化バインディングを提供する。
論文 参考訳（メタデータ） (2026-05-28T09:16:50Z) - Securing LLM Agents Need Intent-to-Execution Integrity [49.490963596514185]
我々は, LLMエージェントの確保には, エージェントの実行がユーザの意図を忠実に反映した場合に規定するエンドツーエンドの正当性を定義する必要があると主張している。
LLMエージェントはコンパイラと構造的に類似しており、セキュリティ違反はユーザ意図を保存しない誤った実行に対応する。
emphTool整合性、emph命令整合性、emphJudgment整合性、emphData整合性。
論文 参考訳（メタデータ） (2026-05-16T12:53:31Z) - OpenPort Protocol: A Security Governance Specification for AI Agent Tool Access [11.289770127178882]
本稿では,セキュアなサーバサイドゲートウェイを通じてアプリケーションツールを公開するためのガバナンスファースト仕様であるOpenPort Protocolを紹介する。
OpenPortは、認可に依存した発見、機械操作可能なテキストタグによる安定した応答エンベロープ、および統合証明書、スコープ化されたパーミッション、ABACスタイルのポリシー制約を組み合わせた認可モデルを定義する。
書き込み操作のために、OpenPortは、ドラフト作成とヒューマンレビューのデフォルトとなるリスクゲートライフサイクルを規定し、明示的なポリシーの下でタイムバウンド自動実行をサポートし、事前のインパクトバインディングやイデペント性を含むリスクの高い保護を強制する。
論文 参考訳（メタデータ） (2026-02-22T05:16:40Z) - CaMeLs Can Use Computers Too: System-level Security for Computer Use Agents [60.98294016925157]
AIエージェントは、悪意のあるコンテンツがエージェントの行動をハイジャックして認証情報を盗んだり、金銭的損失を引き起こすような、インジェクション攻撃に弱い。
CUAのためのシングルショットプランニングでは、信頼できるプランナーが、潜在的に悪意のあるコンテンツを観察する前に、条件付きブランチで完全な実行グラフを生成する。
このアーキテクチャ分離は命令インジェクションを効果的に防止するが、ブランチステアリング攻撃を防ぐには追加の対策が必要であることを示す。
論文 参考訳（メタデータ） (2026-01-14T23:06:35Z) - Towards a Multi-Layer Defence Framework for Securing Near-Real-Time Operations in Open RAN [4.240433132593161]
Open Radio Access Networks (Open RAN)における準リアルタイム(近RT)制御の安全性はますます重要になっている。
システムが運用されている間、新しいランタイム脅威は制御ループをターゲットとします。
本稿では,近RT RAN Intelligent Controller (RIC) 操作のセキュリティ向上を目的とした多層防御フレームワークを提案する。
論文 参考訳（メタデータ） (2025-12-01T12:13:32Z) - DRIFT: Dynamic Rule-Based Defense with Injection Isolation for Securing LLM Agents [52.92354372596197]
大規模言語モデル(LLM)は、強力な推論と計画能力のため、エージェントシステムの中心となってきています。
この相互作用は、外部ソースからの悪意のある入力がエージェントの振る舞いを誤解させる可能性がある、インジェクション攻撃のリスクも引き起こす。
本稿では,信頼に値するエージェントシステムのための動的ルールベースの分離フレームワークを提案する。
論文 参考訳（メタデータ） (2025-06-13T05:01:09Z) - Provable Execution in Real-Time Embedded Systems [8.816934283264633]
実時間システム(PEARTS)のための実行可能アーキテクチャの開発
PEARTSは、コモディティ組み込みリアルタイムオペレーティングシステム(FreeRTOS)と一緒に直接デプロイできる最初のPoXシステムである。
論文 参考訳（メタデータ） (2025-05-20T02:31:13Z) - HasTEE+ : Confidential Cloud Computing and Analytics with Haskell [50.994023665559496]
信頼性コンピューティングは、Trusted Execution Environments(TEEs)と呼ばれる特別なハードウェア隔離ユニットを使用して、コテナントクラウドデプロイメントにおける機密コードとデータの保護を可能にする。
低レベルのC/C++ベースのツールチェーンを提供するTEEは、固有のメモリ安全性の脆弱性の影響を受けやすく、明示的で暗黙的な情報フローのリークを監視するための言語構造が欠如している。
私たちは、Haskellに埋め込まれたドメイン固有言語(cla)であるHasTEE+を使って、上記の問題に対処します。
論文 参考訳（メタデータ） (2024-01-17T00:56:23Z) - Poster: Control-Flow Integrity in Low-end Embedded Devices [12.193184827858326]
この作業は、実行時の攻撃に対してソフトウェア実行の完全性を保証するアーキテクチャを構築する。
それは、ソフトウェア不変性を保証する低コストのアクティブなRoot-of-Trust(RoT)であるCASUの上に構築されている。
論文 参考訳（メタデータ） (2023-09-19T07:52:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。