論文の概要: NACRE: Rethinking Confidential Containers through Native Architectural Support
- arxiv url: http://arxiv.org/abs/2609.03849v1
- Date: Thu, 03 Sep 2026 13:42:11 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-04 18:28:39.0917
- Title: NACRE: Rethinking Confidential Containers through Native Architectural Support
- Title(参考訳): NACRE: ネイティブアーキテクチャのサポートを通じて、機密コンテナを再考する
- Abstract要約: Linuxコンテナはホストカーネルを共有することで高密度かつ高速なライフサイクル操作を実現する。
本稿では、ネイティブな機密コンテナのためのハードウェアとソフトウェアの共同設計であるNACREについて述べる。
- 参考スコア(独自算出の注目度): 10.992896257876362
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Linux containers achieve high density and fast lifecycle operations by sharing the host kernel, but this design also lets a compromised host inspect or modify container state. Existing confidential-computing systems protect an enclave address space or an entire guest operating system, while recent container-granularity systems still add a separate protection context. These abstractions do not make a dynamic group of host-managed Linux processes the architectural protection unit. This paper presents NACRE, a RISC-V hardware-software co-design for native confidential containers. Its key insight is to separate the host's authority to manage resources from its authority to access or commit protected state. Hardware-recognized container identities direct protected traps to an isolated S-mode agent, while an M-mode monitor commits security- sensitive identity, mapping, and page transitions. The agent delegates services to host Linux without changing satp; services that neither access private bytes nor modify protected state also avoid M-mode. We prototype NACRE by extending QEMU, OpenSBI, Linux, a trusted agent, and runc. The prototype implements the single-container private-memory substrate and covered launch, fault, fork/COW, user-access, and teardown paths. Across five lmbench syscall and pipe metrics, the three-run means remain within 3.5% of the runc-origin baseline. With the eight nginx object-size means weighted equally, aggregate throughput is 1.9% lower.
- Abstract(参考訳): Linuxコンテナは、ホストカーネルを共有することによって、高密度で高速なライフサイクル操作を実現するが、この設計では、妥協されたホストがコンテナ状態の検査や修正を行うこともできる。
既存の機密計算システムは、エンクレーブアドレス空間またはゲストオペレーティングシステム全体を保護しているが、最近のコンテナの粒度システムは、依然として別々の保護コンテキストを付加している。
これらの抽象化は、ホスト管理されたLinuxの動的グループをアーキテクチャ保護ユニットとして処理しない。
本稿では,RISC-Vハードウェアソフトウェアの共同設計であるNACREについて述べる。
その主要な洞察は、保護された状態にアクセスまたはコミットする権限からリソースを管理するホストの権限を分離することである。
Mモードモニタはセキュリティに敏感なID、マッピング、ページ遷移をコミットする。
エージェントは、SATPを変更することなくLinuxをホストするようにサービスを委譲する。
我々は、QEMU、OpenSBI、Linux、信頼できるエージェント、runcを拡張してNACREを試作する。
プロトタイプでは、単一コンテナのプライベートメモリ基板と、カバーされた起動、障害、フォーク/COW、ユーザアクセス、分解パスを実装している。
5 lmbench syscall と pipe の計数で、3ラン平均はrunc-origin ベースラインの3.5%に留まる。
8つのnginxオブジェクトサイズが等しく重み付けられた場合、集約スループットは1.9%低下する。
関連論文リスト
- Privacy-Preserving Topology-Guided Safety for LLM-Based Multi-Agent Systems via Federated Graph Learning [67.04448659688579]
FGLGuardは、AgentDojoのグランドサクセスレートを、ほぼ無防備なユーティリティ、APIコストゼロ、無視可能な機能損失で43%削減する。
フェデレーションはオプションではなく、オフ・ザ・シェルフ・トランスファーは流通シフトによって崩壊する。
Live FGLGuardは、AgentDojoのグランドサクセスレートを、ほぼ無防備なユーティリティ、APIコストゼロ、無視可能な機能損失で43%削減する。
論文 参考訳(メタデータ) (2026-09-02T07:57:12Z) - 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) - When Claws Remember but Do Not Tell: Stealthy Memory Injection in Persistent Personal Agents [55.87577638514179]
我々は、リモートのブラックボックスが1つのメールペイロードを送信し、エージェントに有毒なメモリを誘導しなければならない、ステルスメモリインジェクションとして脅威を調査する。
我々は,ワンショットペイロード生成フレームワークであるMemGhostを提案する。
56のテストケースで、MemGhostはGPT-5.4でOpenClawで87.5%、Sonnet 4.6でClaude Code SDKで71.4%を達成している。
論文 参考訳(メタデータ) (2026-07-06T15:08:58Z) - Implement Kubernetes Pod-Level Remote Attestation for Confidential Workloads on dstack [9.739289919919694]
CoCo(Confidential Containers)は厳格な"VM毎のPod"モデルを強制し、ゲストOSスタックのみを証明し、コンテナレベルのアイデンティティを検証せず、VM単位のリソースオーバーヘッドを禁止している。
我々は,複数のPodが1つのConfidential VMを共有しながら,それぞれが独立してハードウェアが支援するアイデンティティの証明を保持することによって,Intel TDX上でPodレベルのリモート認証を可能にするプラットフォームであるdstack-capsuleを提案する。
我々は,dstack-capsuleのセキュリティ特性,正確性,性能特性を評価し,VM間分離のリソースオーバーヘッドを伴わずにPod-granularity検証を実現することを示した。
論文 参考訳(メタデータ) (2026-06-02T08:33:16Z) - 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) - Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives [5.253963000405894]
Sandlockは、単純な分割を中心に構成された軽量なLinuxプロセスサンドボックスである。
動的ネットワーク決定、HTTPレベルのアクセス制御、TOCTOUセーフなエグゼクティブ引数の検査、可逆効果をサポートする。
論文 参考訳(メタデータ) (2026-05-25T19:51:30Z) - Shielded but Lightweight: Building Practical Confidential Containers with ARM CCA [17.873589077067532]
既存の機密コンテナ設計では、主にmicroVMベースのアーキテクチャを採用している。
FascoはARM Confidential Compute Architectureをベースにした軽量なコンテナランタイムである。
論文 参考訳(メタデータ) (2026-05-25T16:36:28Z) - Securing LLM Agents Need Intent-to-Execution Integrity [49.490963596514185]
我々は, LLMエージェントの確保には, エージェントの実行がユーザの意図を忠実に反映した場合に規定するエンドツーエンドの正当性を定義する必要があると主張している。
LLMエージェントはコンパイラと構造的に類似しており、セキュリティ違反はユーザ意図を保存しない誤った実行に対応する。
emphTool整合性、emph命令整合性、emphJudgment整合性、emphData整合性。
論文 参考訳(メタデータ) (2026-05-16T12:53:31Z) - A Systematic Taxonomy of Security Vulnerabilities in the OpenClaw AI Agent Framework [9.723337441030283]
脆弱性は、(1)アーキテクチャレイヤ(実行ポリシー、ゲートウェイ、チャネル、サンドボックス、ブラウザ、プラグイン、エージェント/プロンプト)を反映するシステム軸、(2)攻撃軸、(アイデンティティスプーフィング、ポリシーバイパス、クロスレイヤー構成、即時注入、サプライチェーンエスカレーション)敵のテクニックを反映する。
我々は、アーキテクチャ層と信頼侵害タイプによって組織されたオープンソースのAIエージェントランタイムOpenClawに対して、190の勧告を提出した系統分類を提示する。
論文 参考訳(メタデータ) (2026-03-29T04:51:27Z) - AgentSys: Secure and Dynamic LLM Agents Through Explicit Hierarchical Memory Management [47.49917373646469]
既存の防御は肥大した記憶を与えられたまま扱い、回復力を維持することに集中する。
我々は、明示的なメモリ管理を通じて間接的なインジェクションを防御するフレームワークであるAgentSysを紹介する。
論文 参考訳(メタデータ) (2026-02-07T06:28:51Z) - pokiSEC: A Multi-Architecture, Containerized Ephemeral Malware Detonation Sandbox [41.99844472131922]
pokiSECは、Dockerコンテナ内の一時的なマルウェア爆発サンドボックスである。
pokiSECはQEMUとハードウェアアクセラレーション(KVMが利用可能)を統合し、ブラウザベースのワークフローを公開する。
Apple Silicon and Ubuntu (AMD64) 上で pokiSEC を検証する
論文 参考訳(メタデータ) (2025-12-24T00:38:40Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。