Published August 25, 2026 | Version v3.0.0

DROS: A Four-Layer Deterministic Runtime Operation System Bridging the Agent-to-Execution Attribution Gap in Autonomous AI Workloads / DROS:彌合自主AI 負載中「代理人至執行歸因 鴻溝」之四層確定性執行期作業系統

Authors/Creators

  • 1. Top-Celestial Company Ltd.

Description

The rapid deployment of autonomous AI agents capable of multi-step tool invocation introduces a fundamental security gap: existing semantic firewalls (e.g., NVIDIA NeMo Guardrails) operate probabilistically and are susceptible to indirect prompt injection (IPI), while OS-level sandboxes (eBPF, Seccomp) enforce deterministic binary rules but suffer from context-blindness, unable to attribute syscalls to the originating agent role within a shared process. We define this structural weakness as the Agent-to-Execution Attribution Gap.

We propose DROS (Deterministic Runtime Operation System), a four-layer defense-in-depth architecture comprising: (L1) a probabilistic semantic boundary filter; (L2) a three-tier PKI identity layer binding agent roles to cryptographic execution tokens (DIT); (L3) an ABAC topology enforcer; and (L4) a deterministic C-ABI enforcement layer executing zero-heap O(1) capability bitmap comparisons at the FFI boundary.

Empirical evaluation on a 24-hour soak test (N=160,611 requests, N_adv=137,751 adversarial attempts across four attack families) demonstrates the full DROS stack achieves 100% blocking rate on the evaluated corpus under the defined threat model, with median policy evaluation latency of 26.21 μsμs (p99=242.69 μsμs) and C-ABI enforcement latency <500 nsns, introducing <1.8% CPU overhead. An ablation study confirms L4 provides deterministic enforcement for 6.5% of adversarially obfuscated IPI payloads that evade L1-L3. Furthermore, a multi-architecture comparative benchmark against state-of-the-art application middleware (Microsoft AGT) demonstrates that DROS provides complementary execution-boundary containment for unmanaged runtime paths with sub-microsecond P99 decision latencies (1.20 μs1.20 μs).

在高風險企業環境中,能夠執行多步驟工具調用的自主 AI 代理人迅速部署,引入了現有防禦無法應對的根本性安全鴻溝:語義防火牆(如 NVIDIA NeMo Guardrails)以機率方式運作,易受間接提示注入(IPI)的對抗性混淆攻擊;而作業系統層沙箱(如 eBPF、Seccomp)雖具確定性,卻存在情境盲視問題,無法在共享進程內將系統呼叫歸因至發起該呼叫的代理人角色。我們將此結構性弱點定義為代理人-至-執行歸因鴻溝(Agent-to-Execution Attribution Gap)

為填補此鴻溝,我們提出 DROS(確定性執行時操作系統,Deterministic Runtime Operation System)——一種四層縱深防禦架構,包含:(L1)機率語義邊界過濾層;(L2)透過密碼學執行令牌(DIT)將代理人角色綁定的三層 PKI 身份層;(L3)以屬性為基礎的存取控制(ABAC)拓撲強制層;以及(L4)在 FFI 邊界執行零堆積 O(1) 能力點陣圖比對的確定性 C-ABI 二進位強制層。

針對 24 小時浸泡測試(N=160,611 次請求,N_adv=137,751 次橫跨四大攻擊家族(包含五類測試子類別)的對抗性嘗試)進行的實證評估顯示:完整 DROS 架構在已定義的威脅模型下,針對已評估語料庫達到 100% 阻擋率;策略評估延遲中位數為 26.21 μsμs(P99=242.69 μsμs),C-ABI 強制延遲低於 500 ns,CPU 額外負載低於 1.8%。消融實驗(Ablation Study)確認 L4 為 6.5% 逃過 L1-L3 之對抗性混淆 IPI 酬載提供了確定性強制防線。此外,與業界最前沿應用層中介軟體(Microsoft AGT)的多架構橫向對照基準評測進一步證實,DROS 能以次微秒級的 P99 決策延遲(1.20 μs1.20 μs),為未經託管之直譯器執行路徑提供互補性的二進位執行邊界遏制能力。

 

Notes (English)

### Version 3.0.0 Updates (2026-08-25):
- Added Section V-E: Multi-Architecture Comparative Benchmark against industry application-layer governance middleware (Microsoft AGT specification), formalizing RQ1 (Declared Tool Containment), RQ2 (Enforcement Boundary Coverage Probes), and RQ3 (Micro-benchmark Decision Latencies).
- Added Section VI-B: Comprehensive Related Work analysis establishing the defense-in-depth complementarity between Application Middleware and Binary C-ABI Execution Substrates ("They decide. DROS enforces.").
- Explicitly defined Threat Model Boundaries and Epistemic Scope (excluding arbitrary native code execution / kernel compromise; scoping guarantees strictly to encapsulated execution paths).
- Verified reproducibility against Intel Xeon E3-1275L v3 hardware across Windows 10 IoT Enterprise LTSC host and Ubuntu 22.04 / Docker 26.1 container environments.

Notes (English)

[DROS Trilogy Reading Guide]
This paper is part of the DROS Academic Trilogy, defining a deterministic runtime governance substrate for autonomous AI workloads (without replacing general-purpose operating systems):
(1) DROS-6P — Minimal closed-loop service specification across six fundamental enterprise trust boundaries;
(2) DROS 4-Layer (v3) — [This Paper] Formalizes the Agent-to-Execution Attribution Gap, establishes the L1–L4 defense-in-depth funnel, and evaluates ablation & Microsoft AGT comparative baselines ("They decide. DROS enforces.");
(3) DROS-PGM — Deterministic execution control plane and unbypassable mediation under post-compromise threat models.
Recommended Reading Order: 6P → 4-Layer (v3) → PGM.
Authoritative Trilogy Reading Guide: https://doi.org/10.5281/zenodo.22114036
Reproducible Benchmark Testbed: https://github.com/Top-Celestial-Company-Ltd/DROS-VEP-lite

【DROS 三部曲導讀】
本系列由三篇互補預印本構成,合起來定位為面向自主 AI 工作負載的確定性執行期治理基板(runtime governance substrate),而非取代通用 OS:
(1) DROS-6P — 六大信任邊界(Principal / Authorization / Tool Bound / Policy Gate / Audit / Revocation)之閉環規格;
(2) DROS 四層 (v3) — 本篇形式化歸因鴻溝,提出 L1–L4 漏斗與執行邊界確定性強制,並報告消融與對照評測(含與微軟 AGT 之對照);
(3) DROS-PGM — Post-Compromise 情境下的執行信任與確定性執行控制。
建議閱讀順序:6P → 四層 v3 → PGM。
系列導讀(Reading Guide):https://doi.org/10.5281/zenodo.22114036
可重現測試床:https://github.com/Top-Celestial-Company-Ltd/DROS-VEP-lite
技術主張與實驗數據以各篇全文及所宣告威脅模型為準;本 Note 僅供導航。

Files

DROS_4Layer_Full_IEEE_v3_EN_ZD.pdf

Files (568.9 kB)

Name Size Download all
md5:6193891b4578ae13a6a42d972dafa7ca
163.8 kB Preview Download
md5:090da7bed05cac3e80d269963b7241ef
405.2 kB Preview Download

Additional details

Related works

References

  • C. C. Chen, "DROS-PGM: A Deterministic Kernel-Level Execution Control Plane for Post-Compromise Security," Zenodo, DOI: 10.5281/zenodo.21494849, 2026.
  • C. C. Chen, "Runtime Attribution Framework: An External C-ABI and PKI-Based Zero-Trust Infrastructure for Non-Repudiable Execution Governance in Multi-Agent Systems," Zenodo, DOI: 10.5281/zenodo.20823163, 2026.
  • J. Groth, "On the Size of Pairing-Based Non-Interactive Arguments," EUROCRYPT 2016, LNCS vol. 9665, Springer, pp. 305–326, 2016.
  • W3C Verifiable Credentials Working Group, "Verifiable Credentials Data Model v2.0," W3C Recommendation, 2026.
  • Agent libOS Team, "Agent libOS: A Library-OS-Inspired Runtime for Long-Running, Capability-Controlled LLM Agents," arXiv:2606.03895, 2026.
  • Authgate Team, "A Capability Kernel for Agent Authorization," SSRN abstract id 6931639, 2026.
  • AgentVisor Team, "AgentVisor: Defending LLM Agents Against Prompt Injection via Semantic Virtualization," arXiv:2604.24118, 2026.
  • MCP Security Group, "Runtime Policy Enforcement for MCP-Based LLM Agents," MDPI Electronics, vol. 15, no. 13, p. 2829, 2026.