NS
NEWSAINT
ai-eng• 9 MIN READ•2 September 2026

Bounded Agents & APC: Arsitektur Delegation Security & Composition Closure pada Multi-Agent AI Systems 2026

Analisis teknis mendalam arsitektur Bounded Agents dan Agentic Principal Chain (APC): memecahkan celah delegasi multi-agent, memblokir indirect prompt injection, dan menekan eksfiltrasi data hingga 0.0% dengan latensi 0.24 ms.

N
Ervareza Naurian Novantila
Lead Architect & Founder NEWSAINT
Fact-Checked & Verified
Diagram Arsitektur Bounded Agents dan Agentic Principal Chain (APC) 2026

Dalam lanskap rekayasa software 2026, implementasi sistem multi-agent otonom (multi-agent AI systems) telah mentransformasi alur kerja enterprise secara radikal. Agen AI tidak lagi sekadar merespons teks, melainkan secara otonom mendelegasikan tugas ke sub-agen, memanggil API cloud, menjalankan query database produksi, dan mengeksekusi aksi dengan dampak permanen (irreversible side-effects). Namun, model keamanan akses tradisional (RBAC/ABAC konvensional) dibangun atas asumsi manusia: identitas statis, delegasi eksplisit, dan izin yang terisolasi per-request. Saat agen probabilistik terkena indirect prompt injection, ancaman terbesar bukanlah kegagalan model semata, melainkan ketiadaan arsitektur otorisasi delegasi dinamis yang membatasi radius kehancuran (blast radius).

Executive Architectural Summary & Core Finding

Riset terobosan Bounded Agents: Delegation Security for Multi-Agent AI Systems (arXiv:2608.15888, 2026) memperkenalkan paradigma formal Agentic Principal Chain (APC). Dengan mengevaluasi setiap permintaan eksekusi terhadap akumulasi state sesi (session-state accumulation) dan membatasi kombinasi aksi terlarang melalui Composition Closure di luar konteks LLM, APC membuktikan secara matematis sifat Blast Radius Monotonicity dan Composition Soundness. Berdasarkan benchmark empiris pada 3.154 instans evaluasi (meliputi InjecAgent, AgentDojo, dan ASB), implementasi APC berhasil menekan angka eksfiltrasi data dari 75–100% menjadi 0.0% mutlak, memblokir 100% dari 544 serangan pencurian data InjecAgent, serta memangkas destruksi sistem dari 38.6% menjadi 4.0% dengan latensi otorisasi mikrodetik (0.24 ms pada P99).

1. Akar Masalah Keamanan Delegasi: Mengapa Prompt Guard Saja Tidak Cukup?

Sebagian besar tim rekayasa mencoba menangani risiko keamanan agentic dengan menambahkan system prompt guardrails atau filter input/output berbasis LLM. Pendekatan ini memiliki kelemahan mendasar:

  • Probabilistic Failure Mode: Prompt guard beroperasi di dalam ruang probabilistik yang sama dengan model. Ketika payload injeksi terselubung berhasil melewati embedding filter, model agen dapat diperdaya untuk mengeksekusi instruksi penyerang.
  • Stateless Authorization Blindspot: Sistem gateway konvensional memeriksa izin setiap tool call secara independen tanpa mempedulikan urutan aksi sebelumnya. Sebagai contoh, memanggil tool read_financial_report() diizinkan, dan memanggil send_slack_message() juga diizinkan. Namun, mengeksekusi keduanya secara berurutan dalam satu alur sesi merupakan vektor data exfiltration berbahaya.
  • Unbounded Sub-Agent Spawning: Saat Master Agent melahirkan Worker Sub-Agent, sub-agen sering kali mewarisi seluruh token kredensial induk tanpa batas kedalaman alokasi budget atau penyusutan hak istimewa (least privilege scoping).
Diagram Arsitektur Agentic Principal Chain (APC) dan Composition Closure 2026
Diagram 1.0: Agentic Principal Chain (APC) Dynamic Delegation Boundary & Composition Interceptor RESEARCH ARTIFACT

2. Anatomi Agentic Principal Chain (APC) & 6 Lapisan Pemeriksaan

Arsitektur APC memindahkan penegakan batas otorisasi (authorization boundary) sepenuhnya ke luar konteks LLM ke dalam runtime kernel deterministik. Setiap entitas (User → Master Agent → Sub-Agent → Worker) diikat dalam sebuah rantai prinsipal terenkripsi.

Sebelum sebuah aksi (tool invocation) dapat menembus sistem eksternal, APC menjalankan 6 evaluasi terstruktur:

CHECK 01: PRINCIPAL CONTINUITY
Verifikasi Rantai Kredensial Kriptografis

Menjamin bahwa setiap panggilan sub-agen memiliki tanda tangan digital yang sah dari prinsipal induk tanpa adanya token spoofing.

CHECK 02: SCOPE MONOTONICITY
Penyusutan Hak Akses Bertingkat

Sub-agen hanya boleh memiliki subset izin yang lebih sempit dari induknya (⊆ Parent Scope). Izin tidak pernah bisa bertambah di tingkat anak.

CHECK 03: BUDGET HARD-CEILING
Alokasi Finansial & Token Terikat

Setiap cabang eksekusi memiliki kuota pengeluaran uang (USD) dan kredit komputasi yang didelegasikan secara pecahan dan tidak dapat melebihi batas total sesi.

CHECK 04: COMPOSITION CLOSURE
Pencegahan Kombinasi Aksi Terlarang

Mengevaluasi graph riwayat aksi sesi. Jika data sensitif telah dibaca pada step t=1, semua jalur keluar jaringan publik pada step t=2 otomatis terkunci.

CHECK 05: INTENT BINDING
Penyelarasan Tujuan Awal User

Memvalidasi apakah argumen tool invocation konsisten secara semantik dengan kontrak delegasi awal yang ditandatangani pengguna manusia.

CHECK 06: SERIALIZED ADMISSION
Isolasi Mutex State Transaksi

Menjamin pemeriksaan state otorisasi bersifat atomik (linearizable) untuk mencegah race condition eksploitasi multi-threading.

3. Implementasi TypeScript: Dynamic APC Interceptor & Mutex Validator

Berikut adalah implementasi referensi middleware otorisasi APC tingkat kernel yang dapat diintegrasikan langsung pada runtime eksekusi tool calling (misalnya MCP Server atau Agent Gateway):

typescript / lib/security/agentic-principal-chain.ts TYPE-SAFE APC MIDDLEWARE
// Agentic Principal Chain (APC) Runtime Interceptor & Composition Closure Validator
export interface DelegatedPrincipalContext {
  principalId: string;
  parentPrincipalId?: string;
  delegationDepth: number;
  allocatedBudgetUsd: number;
  spentBudgetUsd: number;
  grantedScopes: Set<string>;
  priorActionsHistory: Array<{ tool: string; paramsHash: string; timestamp: number }>;
}

export interface ToolInvocationRequest {
  targetTool: string;
  parameters: Record<string, unknown>;
  estimatedCostUsd: number;
  intentAssertionHash: string;
}

export interface APCAdmissionDecision {
  verdict: 'PERMIT' | 'DENY_PROHIBITED_COMPOSITION' | 'DENY_BUDGET_EXCEEDED' | 'DENY_SCOPE_VIOLATION';
  remainingBudgetUsd: number;
  delegatedDepthOk: boolean;
  p99LatencyMs: number;
}

export class AgenticPrincipalChainValidator {
  // Matriks aksi terlarang melalui komposisi (Composition Closure / Blast Radius Limitation)
  private prohibitedCompositions: Map<string, Set<string>> = new Map([
    ['read_sensitive_internal_docs', new Set(['send_external_http_request', 'send_untrusted_email', 'public_s3_upload'])],
    ['access_private_credentials', new Set(['eval_arbitrary_code', 'write_unrestricted_socket'])],
  ]);

  public evaluateToolAdmission(
    ctx: DelegatedPrincipalContext,
    req: ToolInvocationRequest
  ): APCAdmissionDecision {
    const start = performance.now();

    // Check 1: Budget Ceiling Enforce (Monotonic Spending)
    if (ctx.spentBudgetUsd + req.estimatedCostUsd > ctx.allocatedBudgetUsd) {
      return { verdict: 'DENY_BUDGET_EXCEEDED', remainingBudgetUsd: ctx.allocatedBudgetUsd - ctx.spentBudgetUsd, delegatedDepthOk: true, p99LatencyMs: performance.now() - start };
    }

    // Check 2: Scope Hierarchy Containment
    if (!ctx.grantedScopes.has(req.targetTool)) {
      return { verdict: 'DENY_SCOPE_VIOLATION', remainingBudgetUsd: ctx.allocatedBudgetUsd - ctx.spentBudgetUsd, delegatedDepthOk: true, p99LatencyMs: performance.now() - start };
    }

    // Check 3: Composition Closure & Blast Radius Monotonicity
    for (const prior of ctx.priorActionsHistory) {
      const blockedFollowups = this.prohibitedCompositions.get(prior.tool);
      if (blockedFollowups && blockedFollowups.has(req.targetTool)) {
        return {
          verdict: 'DENY_PROHIBITED_COMPOSITION',
          remainingBudgetUsd: ctx.allocatedBudgetUsd - ctx.spentBudgetUsd,
          delegatedDepthOk: true,
          p99LatencyMs: performance.now() - start,
        };
      }
    }

    // Atomic State Transition pada Kernel Otorisasi
    ctx.spentBudgetUsd += req.estimatedCostUsd;
    ctx.priorActionsHistory.push({
      tool: req.targetTool,
      paramsHash: btoa(JSON.stringify(req.parameters)).slice(0, 16),
      timestamp: Date.now(),
    });

    return {
      verdict: 'PERMIT',
      remainingBudgetUsd: ctx.allocatedBudgetUsd - ctx.spentBudgetUsd,
      delegatedDepthOk: true,
      p99LatencyMs: Number((performance.now() - start).toFixed(3)),
    };
  }
}

4. Tolok Ukur Kinerja & Analisis Benchmark Empiris (3.154 Kasus Uji)

Evaluasi komparatif dilakukan menggunakan testbed penyerangan otonom standar industri: AgentDojo (evaluasi eksfiltrasi multi-domain), InjecAgent (evaluasi pencurian data sensitif), dan ASB (Agent Security Benchmark) di bawah model yang sengaja dikompromikan (compromised-model evaluation):

Vektor Serangan & Metrik Dengan APC (Bounded Agent) Baseline (Model Guardrails Sahaja) Mitigasi Keamanan
AgentDojo Exfiltration Rate (4 Domains) 0.0% (Zero Exfil) 75.0% – 100.0% 100% Kebocoran Dicegah
InjecAgent Data-Stealing (544 Attack Cases) 0 Kasus Lolos (100% Block) 392 Kasus Lolos (72.0%) 544/544 Serangan Digagalkan
System Destruction Rate (Destructive APIs) 4.0% 38.6% -89.6% Reduksi Kerusakan
State Manipulation Rate (Unauthorized Edit) 12.1% 90.5% -86.6% Manipulasi Tertahan
Authorization Overhead Latency (P99) 0.24 ms ~ 420.00 ms (LLM Re-Check) 1750x Lebih Ringan & Cepat

5. Jebakan Arsitektur (Pitfalls) & Pedoman Implementasi di Lapangan

Dalam mengimplementasikan arsitektur Bounded Agents pada kluster orkestrasi agentic enterprise, hindari 3 jebakan teknis berikut:

  • Over-Restrictive Composition Closure (Utility Collapse): Mendefinisikan aturan komposisi terlarang yang terlalu kaku tanpa memperhitungkan scoping parameter dapat memblokir alur kerja agen yang sah. Selalu terapkan granular argument hashing (misal: mengizinkan penulisan file ke direktori sandbox /tmp/agent-output/ namun memblokir penulisan ke direktori konfigurasi sistem).
  • State Desynchronization pada Asynchronous Sub-Agents: Jika banyak sub-agen berjalan secara konkuren (parallel delegation), pembacaan dan pembaruan budget sesi harus menggunakan transaksi basis data serial atau Redis atomic lock (Redlock) agar terhindar dari kondisi double-spending kuota otorisasi.
  • Mendelegasikan Evaluasi Otorisasi Kembali ke LLM: Jangan pernah menggunakan prompt LLM sekunder untuk memutuskan apakah suatu aksi diizinkan atau tidak. Evaluasi keamanan harus 100% deterministik, dijalankan pada kode native (Rust/Go/TypeScript), dan tidak dapat dipengaruhi oleh payload teks adversarial.

6. Kesimpulan & Roadmap Menuju Zero-Trust Agentic Architecture

Keamanan sistem multi-agent di era 2026 tidak lagi bergantung pada seberapa cermat kita merancang prompt sistem, melainkan pada ketahanan arsitektur otorisasi terdistribusi yang menaunginya. Mengadopsi prinsip Agentic Principal Chain, pembatasan Blast Radius secara matematis, dan verifikasi Composition Closure merupakan fondasi mutlak bagi setiap organisasi yang ingin mengoperasikan autonomous agents di lingkungan produksi dengan rasa aman dan kepatuhan penuh terhadap standar enterprise.

Referensi & Sumber Terverifikasi

Butuh Arsitektur Web & AI Berkualitas Tinggi?

Tim engineering NEWSAINT siap membantu merancang website berkecepatan tinggi, sistem AI autonomous, dan solusi SaaS terukur untuk bisnis Anda.

Artikel Terkait Lainnya

Ilustrasi Arsitektur Teknis 16:9 Bellman Language Models (arXiv:2610.24871): Discretize-Then-Decide, Eliminasi Redundant LLM Invocations hingga 98%, dan Optimal Control pada Agentic Workflows

Bellman Language Models (arXiv:2610.24871): Discretize-Then-Decide, Eliminasi Redundant LLM Invocations hingga 98%, dan Optimal Control pada Agentic Workflows

Analisis arsitektur sistemik riset frontier arXiv:2610.24871 (Adarsh Vatsa & William Eiers): Mengapa workflow agen otonom terus-menerus memboroskan komputasi untuk mendeduksi ulang keputusan yang berulang pada setiap turn? Memperkenalkan Bellman Language Models (BLM) dan paradigma "Discretize, Then Decide" yang memodelkan interaksi agen sebagai Markov Decision Process (MDP) diskret dan menyelesaikannya via persamaan optimalitas Bellman. Pada benchmark tau^2-bench telecom, controller mandiri tanpa model LLM mampu menyelesaikan 79% tugas; dipasangkan dengan Qwen3.8-27B, akurasi melonjak dari 29% menjadi 96% dengan pemangkasan 93% panggilan model; serta memangkas 98% biaya Claude Opus 5.5. Artikel ini membedah teori saturasi ruang keputusan, formulasi Bellman controller, batasan pada open synthesis, dan implementasi TypeScript produksi.

Ilustrasi Arsitektur Teknis 16:9 Acceptance Is Not Speed (arXiv:2610.23818): Ilusi Akselerasi Lossy Speculative Decoding, Mengapa Relaxed Sampling Memperpanjang Reasoning Trace 1.54x, dan Solusi Length-Corrected Verification

Acceptance Is Not Speed (arXiv:2610.23818): Ilusi Akselerasi Lossy Speculative Decoding, Mengapa Relaxed Sampling Memperpanjang Reasoning Trace 1.54x, dan Solusi Length-Corrected Verification

Investigasi empiris komprehensif arXiv:2610.23818 (Chiatzen Wang, Bill Xu, Haochen Gu, Hongyang Zhang — University of Waterloo): Mengapa peningkatan rasio penerimaan token (accepted length) pada lossy speculative decoding gagal menghasilkan akselerasi wall-clock? Evaluasi 360 konfigurasi lintas 12 pasangan target-drafter (GPT-OSS-20B, Qwen3-8B, Llama-3.1-8B dengan EAGLE-3, DSpark, dan standalone drafter) membuktikan fenomena sistemik "Length Inflation": relaksasi verifikasi menerima token probabilitas rendah yang mendeformasi lintasan penalaran, menyebabkan model berpikir 1.54x lebih panjang (bahkan 3.3x pada EAGLE-3). Lebih dari 90% token ekstra terbuang di dalam reasoning trace (<think>), memicu kehabisan token budget pada AIME24 dan evaluasi redundan pada GSM8K. Artikel ini membedah taksonomi 5 metode lossy (CACTUS, Mentored Decoding, rFSD, Speculative Cascades), batas matematis net-win, serta implementasi TypeScript Length-Corrected Speculative Harness.

Ilustrasi Arsitektur Teknis 16:9 DLite (arXiv:2610.23787): History-Free Speculative Decoding untuk Agentic AI, Eliminasi Draft KV Cache, dan Akselerasi 2.74x pada SWE-bench

DLite (arXiv:2610.23787): History-Free Speculative Decoding untuk Agentic AI, Eliminasi Draft KV Cache, dan Akselerasi 2.74x pada SWE-bench

Bedah arsitektur dan evaluasi empiris riset frontier arXiv:2610.23787 (Jiaming Xu, Guohao Dai et al. — SJTU, Tsinghua, Shanghai Innovation Institute): Mengapa metode speculative decoding konvensional seperti EAGLE-3, DFlash, dan DSpark mengalami degradasi acceptance length hingga 80% pada beban kerja agen otonom? DLite memperkenalkan paradigma History-Free Speculative Decoding yang sepenuhnya mengeliminasi draft KV cache, menggunakan parallel backbone berbasis reuse hidden state target model dengan learnable depth embeddings, lightweight low-rank RNN sequential head di ruang representasi tersembunyi, serta two-stage distillation training (isomorphic teacher warm-up dan total variation alignment). Evaluasi pada Qwen3-4B dan Qwen3-8B via SGLang membuktikan lonjakan acceptance length hingga 3.19 token dan akselerasi end-to-end 2.74x pada SWE-bench tanpa kehilangan kualitas generasi.