論文の概要: SADRA: Sound Capability-based Access Control System for Resource-Disaggregated Architectures
- arxiv url: http://arxiv.org/abs/2609.31119v1
- Date: Fri, 25 Sep 2026 11:10:17 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 18:27:51.358947
- Title: SADRA: Sound Capability-based Access Control System for Resource-Disaggregated Architectures
- Title（参考訳）: SADRA:資源分散アーキテクチャのための音響能力に基づくアクセス制御システム
- Abstract要約: 本稿では,リソース分散アーキテクチャのための機能ベースのアクセス制御システムであるSADRAを提案する。
我々のSmartNICプロトタイプは、非強化ベースラインのラン・ツー・ラン変動において、89.5Gbit/sのアグリゲーションスループットを維持できる。
- 参考スコア（独自算出の注目度）: 18.603796098476156
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Resource disaggregation separates memory and accelerators from compute nodes and makes them remotely accessible. This improves resource sharing, but also removes the local kernel from the resource-access path. Under an untrusted host, compromised host software may use stale authority, exceed delegated authority, or reuse authority provisioned for another process. Prior work identifies capability-based access control as well suited to these architectures. Our systematization of twenty-two prior capability systems finds that none combines host-independent validation of process authority, authoritative enforcement at the resource, and revocation that remains effective while remote authorization state is stale. We present SADRA, a distributed capability-based access-control system for resource-disaggregated architectures. SmartNIC hardware isolated from host software independently checks every inter-node request at two points, first at the compute node against the requesting process's authority and again at the resource against the current authoritative access state. Linked process, compute, and resource capabilities allow these checks to use local state without coordination on the access path. When distributed authority is revoked, SADRA denies subsequent dependent accesses at the resource without waiting for remote nodes to update, while stale capability state is reclaimed separately. We prove capability safety, authority safety, revocation soundness, and strong isolation for a formal architectural model, and model-check the formalization with SPIN. Our FPGA SmartNIC prototype sustains 89.5 Gbit/s aggregate throughput, within run-to-run variation of a non-enforcing baseline that peaks at 90--91 Gbit/s. Cleanup of a 128-capability subtree completes in 528 ns, while access denial does not depend on completion of that cleanup.
- Abstract（参考訳）: リソースのデアグリゲーションはメモリとアクセラレータを計算ノードから分離し、リモートでアクセスできるようにする。
これによりリソース共有が改善されるが、ローカルカーネルはリソースアクセスパスから削除される。
信頼できないホストの下では、妥協されたホストソフトウェアは、古い権限を使用するか、委任された権限を超えるか、または別のプロセスのために規定された再利用権限を使用することができる。
以前の作業では、これらのアーキテクチャに適した機能ベースのアクセス制御が特定されていた。
我々の22の事前能力システムの体系化は、プロセス権限のホスト非依存の検証、リソースの権限執行、そしてリモートの認証状態が不安定な状態にある間も有効である取り消しを組み合わせていないことを発見した。
資源分散化アーキテクチャのための分散機能ベースのアクセス制御システムであるSADRAを提案する。
ホストソフトウェアから分離されたスマートニックハードウェアは、ノード間要求を2つのポイントで個別にチェックする。
リンクされたプロセス、計算、リソース機能により、これらのチェックはアクセスパスを調整せずにローカル状態を使用することができる。
分散権限が取り消されると、SADRAは、リモートノードが更新されるのを待つことなく、リソースのその後の依存アクセスを否定する。
我々は,形式的アーキテクチャモデルに対して,能力の安全性,権限の安全性,音質の取り消し,強い孤立性を証明し,SPINによる形式化をモデルチェックする。
FPGA SmartNICのプロトタイプは,90-91Gbit/sでピークとなる非強化ベースラインの実行間変動において,89.5Gbit/sのスループットを維持できる。
128個のサブツリーのクリーンアップは528 nsで完了するが、アクセス拒否はそのクリーンアップの完了に依存しない。
関連論文リスト
- Who Can Make the Action Happen? An Authority-Decomposition Framework for High-Risk Automated Systems [8.71734630214811]
本稿では,信頼領域の連立関係が保護された実行を引き起こすのに十分である行動関連手法を提案する。
これは、実行に対する因果制御と、操作の権威的アカウントの制御を分離する。
インクルージョン最小限の連立と、要求される実行境界が指定された上流ドメインから独立しているかどうかのテストが導かれる。
論文 参考訳（メタデータ） (2026-08-19T14:30:58Z) - AgenticOS: An Intent-Oriented Secure Operating System Architecture for Autonomous AI Agents [9.964434409587222]
AgenticOSは意図指向のセキュアOSアーキテクチャである。
AgenticOSは、デリゲート可能な監査可能なソフトウェア機能をOSネイティブの機能に統合する。
論文 参考訳（メタデータ） (2026-06-19T06:14:37Z) - An Efficient and Privacy-Preserving Architecture for Cross-Institutional Collaborative RAG [35.62196578084403]
Retrieval-Augmented GenerationはLLMに外部知識を付与する。
厳格なプライバシー規制は、そのようなコラボレーションを妨げる「データサイロ」を深刻なものにする。
我々は,高スループットでプライバシ保護のフェデレートされたRAGフレームワークであるFedRAGを紹介する。
論文 参考訳（メタデータ） (2026-05-25T11:18:19Z) - OAMAC: Origin-Aware Mandatory Access Control for Practical Post-Compromise Attack Surface Reduction [0.0]
実行の起源は、現代のオペレーティングシステムのセキュリティモデルに欠けている抽象化である。
オリジン対応強制アクセス制御(OAMAC)を導入する。
OAMACは、実行元をファーストクラスのセキュリティ属性として扱う。
論文 参考訳（メタデータ） (2026-01-20T14:40:26Z) - Ratio1 -- AI meta-OS [35.18016233072556]
Ratio1は、異種エッジデバイスをまたいだAIモデルの開発、デプロイ、推論を統合する、分散MLOpsプロトコルである。
その重要なイノベーションは、アイドルコンピューティングリソースを信頼できないグローバルスーパーコンピュータに変換する、ブロックチェーンベースの統合フレームワークである。
論文 参考訳（メタデータ） (2025-09-05T07:41:54Z) - Acurast: Decentralized Serverless Cloud [37.860555651161796]
Acurastは、目的で構築されたオーケストレータと評価エンジンを備えたサーバレスクラウドである。
開発者は計算をオフロードし、暗号的に検証できる。
Acurastは、セキュアなハードウェアと信頼性のある実行環境を活用する、モジュラー実行層を提供する。
論文 参考訳（メタデータ） (2025-03-19T19:09:21Z) - Capacity: Cryptographically-Enforced In-Process Capabilities for Modern ARM Architectures (Extended Version) [1.2687030176231846]
Capacityは、機能ベースのセキュリティ原則を取り入れた、ハードウェア支援のプロセス内アクセス制御設計である。
独自のPAキーで認証されたプロセス内ドメインにより、Capacityはファイル記述子とメモリポインタを暗号化された参照に変換する。
Capacity対応のNGINX Webサーバプロトタイプや他の、機密性の高いリソースをさまざまなドメインに分離する一般的なアプリケーションを評価します。
論文 参考訳（メタデータ） (2023-09-20T08:57:02Z) - Sparsity-Aware Intelligent Massive Random Access Control in Open RAN: A
Reinforcement Learning Based Approach [61.74489383629319]
新たなOpen Radio Access Network(O-RAN)におけるデバイスの大量ランダムアクセスは、アクセス制御と管理に大きな課題をもたらします。
閉ループアクセス制御の強化学習(RL)支援方式を提案する。
深部RL支援SAUDは、連続的かつ高次元の状態と行動空間を持つ複雑な環境を解決するために提案されている。
論文 参考訳（メタデータ） (2023-03-05T12:25:49Z) - Predictive Closed-Loop Service Automation in O-RAN based Network Slicing [35.23159175375706]
オープン無線アクセスネットワーク(O-RAN)は、上記全ての機能を継承する最も有望なRANアーキテクチャである。
本稿では、SLA違反を防止するために、O-RANスライシングのためのクローズドループおよびインテリジェントリソースプロビジョニングスキームを提供する。
論文 参考訳（メタデータ） (2022-02-04T04:34:00Z) - Device-independent quantum authorization based on the
Clauser-Horne-Shimony-Holt game [0.0]
燃料資源として非局所性を持つ量子認可プリミティブを提案する。
ユーザは、プライベートデータベースへのアクセスを許可する権限レベルに分類される。
Qiskitオープンソースフレームワークを用いた概念実証実装を提案する。
論文 参考訳（メタデータ） (2021-03-02T11:57:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。