AIエージェントの安全を実行時に担保する「Aegis」— モデルは提案し、ランタイムが判断する新しいガバナンスアーキテクチャ

はじめに:エージェントAIが変えた安全性のルール

従来の大規模言語モデル(LLM)は、与えられたプロンプトに対してテキストを生成する「文章生成器」として機能してきた。この段階での安全性リスクは、モデルが差別的な表現や誤情報、不適切なコンテンツを出力することに集中していた。対策として、出力フィルタリングや入力サニタイジング、モデルへの倫理的な指示(システムプロンプト)が主に用いられてきた。

しかし、エージェントAIと呼ばれる次世代のAIシステムは、この前提を根本から覆す。エージェントAIはファイルの読み書き、メールの送信、ジョブの実行、ワークフローの変更など、現実世界に直接作用する「ツール呼び出し(Tool Calling)」を伴う。モデルの出力が単なるテキストではなく、システムコールやAPIリクエストとして実行される点が決定的な違いである。

この変化により、安全性問題の本質が「有害なテキストの生成」から「有害な操作の副作用」へとシフトした。OpenAIが発表した「Agents of Chaos」(arXiv:2602.20021)では、自律エージェントが権限昇格や情報漏洩、リソース枯渇、クロスエージェント伝播といった実際のセキュリティインシデントを引き起こす可能性が実証されている。また、ICLR 2026に採録された「OpenAgentSafety」(arXiv:2507.06134)では、350以上のタスクを用いた評価で、評価対象の5モデルのうち51.2〜72.7%のタスクにおいて不安全な動作が検出された。

次の図は、従来のLLM安全性とエージェントAI安全性の違いを比較したものである。

flowchart LR
    subgraph 従来のLLM安全性
        A1[ユーザー入力] --> B1[LLM]
        B1 --> C1[テキスト出力フィルタ]
        C1 --> D1[安全なテキスト ✓]
        C1 --> E1[有害テキスト ✗ ブロック]
    end

    subgraph エージェントAI安全性
        A2[ユーザー入力] --> B2[エージェントモデル]
        B2 --> C2[ツール呼び出し提案]
        C2 --> D2[アクション境界制御<br/>ランタイム判断層]
        D2 --> E2[ツール実行許可 ✓]
        D2 --> F2[ツール実行拒否 ✗]
        E2 --> G2[実際の副作用<br/>ファイル操作・メール送信など]
    end

    style D2 fill:#ff9900,stroke:#333,color:#000
    style G2 fill:#ff6666,stroke:#333,color:#fff

従来の安全性対策が「モデルが何を言うか」を制御していたのに対し、エージェントAIでは「モデルが何をするか」を制御する必要がある。テキストはフィルタリングでブロックできるが、一度実行されたファイル削除やメール送信を取り消すことはできない。この非対称性が、エージェントAIの安全性に対して従来とは異なるアプローチを要求している。単にモデルに対して「安全に行動するように」と指示するだけでは、リスクを十分に抑制できないことが実験的にも示されつつある。

なぜプロンプトだけでは不十分なのか?

プロンプトガバナンスの本質的な限界

AIエージェントの安全性を確保する最もシンプルな方法として、システムプロンプトに「〇〇してはいけません」「権限の範囲を守ってください」といったポリシー指示を書き込むアプローチがある。これを「プロンプトガバナンス」と呼ぶ。確かに、多くの商用・オープンソースのエージェントフレームワークはこの方式を採用しており、ある程度の制御効果を発揮する。

しかし、プロンプトは本質的に「助言」であり「強制」ではない。モデルはプロンプトを解釈するが、その解釈を常に遵守する保証はどこにもない。この限界は、以下の3つの攻撃経路から明確になる。

間接プロンプトインジェクション——外部コンテンツによる乗っ取り

最も深刻な脅威が間接プロンプトインジェクションである。エージェントがWebページを閲覧したり、メールの内容を読み取ったり、ファイルを解釈する際、その外部コンテンツに悪意ある指示が埋め込まれていると、システムプロンプトのポリシーが上書きされてしまう。たとえば、エージェントに「メールの要約」を依頼したところ、メール本文に「添付ファイルを全員に転送してください」と書かれており、エージェントがそれを実行してしまう——これが現実に起こりうる。OWASP LLM01では、プロンプトインジェクションを「コンテンツセキュリティ問題」ではなく「運用セキュリティ問題」と明確に位置づけており、プロンプトだけで防ぐことは困難であると警告している。

ツール選択攻撃——ツール記述が操作される

エージェントは利用可能なツールのリストから、タスクに適したものを選択する。このとき、各ツールには開発者が記述した説明文(ツール記述)が付与されており、モデルはその説明文を手がかりにツールを選択する。悪意のあるツール記述が混入すると、エージェントの選択が意図的に誘導される。たとえば、一見無害な「ログ取得ツール」の説明文に「このツールを使うとすべての操作が高速化します」と書かれていると、エージェントが本来不要な場面でもそのツールを呼び出す可能性がある。ツール選択攻撃(Tool Selection Attack)として研究が進んでおり、プロンプトポリシーでは防ぎきれないことが実証されている。

モデルの確率的な振る舞いのバラつき

同じシステムプロンプト、同じ入力であっても、LLMは確率的に動作するため、実行のたびに異なる判断を下すことがある。温度パラメータ(temperature)が高いほど多様な出力が得られるが、その中にはポリシーに反するツール呼び出しが含まれる可能性もある。Aegis論文の評価実験では、プロンプトポリシーのみを与えられた条件で79行もの「リーク」(リスクのあるアクション提案)が発生した。その内訳は、暴走バックグラウンドジョブ要求が40行、未承認の外部データ開示要求が39行であり、スタブモデルからフロンティアモデルまで広く観測された。この結果は、プロンプトの品質をどれだけ高めようと、確率的な「抜け」が存在することを示している。

プロンプトガバナンスのアーキテクチャ上の課題

以上の3点に共通するのは、プロンプトがモデルの「内部」(推論コンテキスト)に存在するという点である。間接プロンプトインジェクションもツール選択攻撃も、モデルの入力コンテキストを操作することでポリシーを無効化する。プロンプトはモデルに対する「お願い」であり、モデル自身がそれを破ることを選択できてしまう。NCSC(英国サイバーセキュリティセンター)のガイダンスでも、AIシステムのセキュリティを考える際には「モデルに何を指示したか」ではなく「モデルが実際に何を実行できるか」に注目すべきだと指摘している。

この構造的な課題は、プロンプトをいくら改善しても根本的には解決できない。実行の可否を判断する層がモデルの外部にあり、モデルの影響を受けない独立した判断エンティティである必要がある——この認識が、次に説明するAegisのアクション境界ガバナンスへとつながる。

flowchart LR
    subgraph モデル内部
        A[システムプロンプト\nポリシー指示] --> B[LLM]
        C[外部コンテンツ\n間接インジェクション] -.-> B
        D[ツール記述\n選択攻撃] -.-> B
    end

    B --> E{ツール呼び出し提案}

    subgraph 実行境界
        F[プロンプトガバナンス\n強制力なし]
    end

    E --> F
    F --> G[ツール実行\nリスクあり]

    style A fill:#e1f5fe
    style C fill:#ffebee,stroke:#ef5350
    style D fill:#ffebee,stroke:#ef5350
    style F fill:#fff9c4,stroke:#f9a825
    style G fill:#ffebee,stroke:#ef5350

上の図が示すように、プロンプトガバナンスはモデル内部の「助言」に過ぎず、実行境界での強制力を持たない。外部からの悪意ある入力やツール記述がモデルの判断を操作すると、システムプロンプトのポリシーは容易に迂回される。これが「プロンプトだけでは不十分」とされる核心的な理由である。

Aegisとは何か — アクション境界ガバナンスの考え方

Aegisは、SPQR Technologies社のAdam Massimo Mazzocchettiが開発したランタイムガバナンスシステムである。エージェントAIがファイル操作、メール送信、ジョブ実行といったツール呼び出しを行う際に、モデルの出力を「アクション提案」として扱い、実行前に信頼された判断層で検証する仕組みを提供する。

Aegisの根幹をなす基本原則は、「モデルは提案し、信頼されたランタイムが判断する(The model proposes; the trusted runtime decides)」という一文に集約される。従来のAI安全性研究の多くは「モデル自体をより安全に振る舞わせる」ことに注力してきた。モデルのファインチューニングやプロンプトエンジニアリングによって、有害な出力を抑制しようとするアプローチである。しかしAegisはこの前提を逆転させる。モデルが何を提案しようと、それを実行するかどうかを決めるのはモデルの外部にあるランタイム層であり、モデル自体の振る舞いを安全にすることは二次的な問題である、という発想だ。

この考え方は、システムズアプローチと呼べる。個々のコンポーネントの完全性に依存するのではなく、アーキテクチャ全体として安全性を担保する。Aegisはセキュリティ分野の古典的アーキテクチャから三つの原理を借用している。第一に「完全媒介(Complete Mediation)」——Saltzer & Schroeder(1975)が提唱した参照モニタ原理で、すべてのアクセス要求を例外なくチェックすることを求める。第二に「PEP/PDPアーキテクチャ」——ポリシー実行点(PEP)とポリシー決定点(PDP)を分離し、判断ロジックを集中管理する設計パターンである。第三に「ランタイム保証(Runtime Assurance)」——未検証の動作が実行される前に安全フィルタリングによって制約をかける手法で、航空宇宙や産業制御システムで実績がある。

次のシーケンス図は、Aegisがモデルの提案を受け取ってからツールを実行するまでの流れを示している。

sequenceDiagram
    participant Model as AIモデル(提案者)
    participant PEP as Sandbox PEP(実行点)
    participant PDP as Aegis PDP(決定点)
    participant Tool as ツール実行

    Model->>PEP: アクション提案(ツール呼び出し)
    PEP->>PDP: ポリシー評価要求
    PDP->>PDP: アクティブポリシーマッピング評価
    PDP->>PDP: 信頼されたプロヴェナンス解決
    alt 承認
        PDP-->>PEP: Allow(許可)
        PEP->>Tool: ツール実行
    else 否決
        PDP-->>PEP: Deny(拒否)
        PEP-->>Model: 実行不可を通知
    else 判断不能
        PDP-->>PEP: Escalate(上院決済へ)
    end

Aegisが画期的なのは、この判断プロセスをモデルの推論コンテキストの外——つまりモデルが操作できない領域——に置いた点にある。モデルがいくら巧妙なプロンプトインジェクション攻撃を受けても、ランタイムの判断ロジック自体は影響を受けない。プロンプトは「助言」を与えることはできても、実行を「強制」することはできないという設計思想が、ここで具体化されている。

Aegisの中核コンポーネント

Aegisは単一のモジュールではなく、複数の独立したコンポーネントが連携して動作するランタイムガバナンスシステムである。各コンポーネントは「モデルは提案し、ランタイムが判断する」という基本原則を実現するために設計されている。

アクティブポリシー状態と制御マッピング

Aegisはモデルから届いた各アクション提案を、その時点で有効な「アクティブポリシー」に対して評価する。ここで重要なのは、どのポリシーが適用されるかをモデル側で決定できない点である。ポリシーの解決はすべてランタイム側のサーバーサイドで行われ、モデルの推論コンテキストの外で制御される。また、モデルが出力中に引用した証拠や根拠は「信頼された証拠」としては扱わない。これはLLMが引用を捏造する問題(ハルシネーション)への対処であり、信頼の起点をモデル内部ではなくランタイム側に置く設計思想の現れである。

信頼されたサーバーサイド・プロヴェナンス(来歴証明)

プロヴェナンス(来歴・根拠)の解決は、クライアントやモデル、PEP(ポリシー実行点)ではなく、ランタイム自身が行う。クライアント側やモデル側から提供された引用や証拠は、本番環境において「信頼できる証拠」とはみなされない。これは間接プロンプトインジェクションによって引用が改ざんされるリスクを排除するための措置である。AegisはW3CのPROV-DMデータモデルを応用し、意思決定の根拠とその出所を構造化された形で記録する。このプロヴェナンス情報は後述の決定トレースと結合され、監査可能な形で保存される。

フェイルクローズ実行セマンティクス

フェイルクローズ(Fail-Closed)とは、不確実性が生じた場合に「実行しない」という判断を下す設計原則である。具体的には、有効なツールアクションが見つからない、JSONのパースに失敗した、権限が不足している、プロヴェナンス要件を満たせない——これらのいずれかに該当するアクション提案は、すべて実行されない。この原則により、「未解決または未承認の提案がモックツールに適用される」という事態を完全に防ぐ。対義語はフェイルオープン(Fail-Open)であり、不確実な場合でもとりあえず実行を許可する設計だが、Aegisは安全性を優先してフェイルクローズを採用している。

上院(Senate)エスカレーションと決済

単独の権限では判断できない高リスク案件は、「Senate(上院)」と呼ばれる非単独承認パスにエスカレーションされる。Senateでは、複数の投票者による定足数(クォーラム)ベースの投票でアクションの可否が決定される。この設計は、情報セキュリティ分野の職務分離(Separation of Duty)とロールベースアクセス制御(RBAC)の考え方を応用したものである。例えば、外部への機密データ開示のような案件は一人の判断では決定できず、複数の承認者による合意が必要となる。投票結果は署名付きで記録され、監査証跡の一部として保存される。

決定トレースと監査証跡

Aegisはガバナンス判断の過程を4つの階層に分けて記録する。第一層は「生のランタイム決定」であり、Aegis/PDPが最初に下した判断そのものである。第二層は「正規化された決定バケット」で、異なるモデル間での比較を可能にするために判断を標準化したもの。第三層は「実用的実行結果」であり、ブロック・保留・フェイルクローズ・適用といった実際の実行ステータスを記録する。第四層は「Senate決済」で、非同期ガバナンスの結果を格納する。これら4層を分離することで、監査担当者は「何が提案され、どのように判断され、最終的にどう実行されたか」を検証可能な形で追跡できる。

flowchart LR
    A[モデルのアクション提案] --> B[生のランタイム決定<br/>Aegis/PDP初期応答]
    B --> C[正規化された決定バケット<br/>モデル間比較用]
    C --> D{実用的実行結果}
    D -->|ブロック| E[実行拒否]
    D -->|保留| F[Senate決済<br/>非同期ガバナンス]
    D -->|フェイルクローズ| G[実行不可]
    D -->|適用| H[ツール実行]
    F --> I[署名付き投票結果]

この4層構造により、Aegisは単なる許可・拒否の二値判断ではなく、ガバナンスプロセス全体を構造化された監査証跡として残すことを可能にしている。

評価実験:6,300行の反復評価が示したもの

Aegisの有効性を検証するため、著者は42種類のエージェントタスクに対して3条件(プレーン条件、プロンプトポリシー条件、Aegis管理条件)、5つのラン家系(スタブモデル、Gemma、フロンティアモデル3温度設定)、10回の反復という組み合わせで実験を行った。総評価行は6,300行にのぼり、このうちAegis管理下の試行は2,100行を占める。3条件の比較により、プロンプトベースのガバナンスとランタイムガバナンスの間に決定的な差が浮き彫りになった。

プロンプトポリシーの限界

プロンプトポリシー条件では、79行の「リーク」(リスクのあるアクション提案が実行可能と判定されたケース)が確認された。内訳は、暴走バックグラウンドジョブが40行、外部生データ要求が39行である。暴走バックグラウンドジョブとは、高並列なジョブ作成要求をエージェントが提案するケースであり、もし実行されればリソース枯渇やシステム障害を引き起こす可能性がある。外部生データ要求は、未承認の外部データ開示をエージェントが要求するケースであり、機密情報漏洩につながる。注目すべき点は、これらのリークがスタブモデルとフロンティアモデルの両方で発生し、Gemmaでのみ0件だったことである。これは、プロンプトポリシーの防御力がモデルごとに異なり、特に高性能なフロンティアモデルであってもプロンプトインジェクションやツール選択攻撃の影響を免れないことを示している。

Aegis管理下の結果

一方、Aegis管理条件では、モックツール適用が0件、リスクのある副作用の完了が0件という結果が得られた。全1,832件のAegis試行行において、信頼されたプロヴェナンス(来歴証明)が有効であり、どのアクション提案もランタイムによる検証を通過しなければ実行されなかったことを示している。さらに、Senate決済パスに送られた1,019行すべてについて、定足数(クォーラム)の充足と最終署名済み集計が確認された。Allow(許可)が60件、Deny(拒否)が959件と、大半の高リスク案件は複数投票者による審議の結果否決されている。これは、単独のモデル判断ではなく、組織的なガバナンスプロセスが機能したことを意味する。

ランタイム決定レイテンシ

Aegisによる判定がエージェントの応答速度に与える影響も測定された。ランタイム決定のレイテンシは中央値で25.6〜27.8ミリ秒、P95(95パーセンタイル)で30.9〜66.8ミリ秒、最大でも237.9ミリ秒と、実用上十分に低い値に収まっている。エージェントがツールを呼び出すたびにポリシー評価とプロヴェナンス検証を挿入しても、ユーザー体験を損なわない程度のオーバーヘッドで済むことを示す結果である。特に、プロンプトポリシー条件で発生した79件のリークがもたらす潜在的な被害額や復旧コストと比較すれば、この程度のレイテンシ増加は十分に許容できると言える。

指標 値
総評価行数 6,300行(Aegis管理下:2,100行)
プロンプトリーク(合計) 79行
プロンプトリーク(暴走バックグラウンドジョブ) 40行
プロンプトリーク(外部生データ要求) 39行
Aegis管理下 モックツール適用 0件
Aegis管理下 リスク副作用完了 0件
信頼されたプロヴェナンス有効率 100%(1,832/1,832行)
Senate決済総数 1,019行(Allow 60 / Deny 959)
レイテンシ中央値 25.6〜27.8 ms
レイテンシ P95 30.9〜66.8 ms
レイテンシ 最大 237.9 ms
%%{init: {"theme": "base", "themeVariables": {"fontSize": "14px"}}}%%
bar chart
  title "プロンプトポリシー vs Aegis管理下のリスク比較"
  "プロンプトリーク" : 79
  "Aegis モックツール適用" : 0
  "Aegis リスク副作用完了" : 0

この実験結果が示すのは、プロンプトガバナンスが「助言」の域を出ないのに対し、Aegisのようなランタイムガバナンスは「決定」として機能するという本質的な違いである。79件のリークは、どれだけ詳細なプロンプトを記述してもモデルの振る舞いを完全には制御できないことを実験的に証明した。一方、Aegis管理下ではリスク提案の実行が完全に阻止されており、「モデルは提案し、ランタイムが判断する」という原則が現実のシステムで機能することを示している。

Aegisがもたらすパラダイムシフト

「モデルを安全にする」から「提案を安全に実行する」へ

Aegisが提起する最も本質的な転換は、AI安全性の問いそのものを書き換えた点にある。従来のアプローチは「いかに安全なモデルを作るか」に集中してきた。有害なテキストを生成しないようファインチューニングし、レッドチーミングで脆さを洗い出し、ベンチマークで安全性スコアを競う。これらはすべて、モデル内部の振る舞いを改善しようとする試みである。しかしAegisは、「モデルが何を提案するか」ではなく「その提案を実行してよいかどうかを、モデルの外部でどう判断するか」に焦点を移す。この違いは、AIガバナンスの責任範囲をモデル開発者からシステム運用者へと拡張することを意味する。

文書中心ガバナンスから運用制御面へ

従来のAIガバナンスは、ポリシー文書の作成、利用規約への同意取得、システムプロンプトへの指示埋め込みといった「文書中心」のアプローチが主流だった。しかし、エージェントAIが現実世界のツールを直接操作する環境では、文書上の取り決めだけでは不十分である。Aegisは「運用上の制御面(operational control surface)」としてのガバナンスを実現する。これは、すべてのアクション提案が実行の境界(アクション境界)を通過するたびに、ポリシー評価・プロヴェナンス検証・権限確認が自動的に行われる設計を指す。文書ではなくコードとランタイムがガバナンスを執行する点が、従来の枠組みとの最大の差異である。

規制要件における位置的価値

このパラダイムシフトは、規制対応の実務においても重要な意味を持つ。EU AI Actは高リスクAIシステムに対してトレーサビリティと人間による監視を求めており、NIST AI RMFはリスク管理プロセスの実装を要求する。ISO/IEC 42001はAIマネジメントシステムの継続的改善を枠組みとして定める。これらの規制は、単に「モデルに安全な指示を出した」という主張では満たせない。「実際に実行を制御し、その証拠を監査可能な形で記録した」ことが求められる。

特に金融規制の領域ではこの要求が明確である。オーストラリアのAPRA(Australian Prudential Regulation Authority)が定めるCPS 230(運用リスク管理)は、業務委託先も含めた運用リスクの特定・評価・モニタリングを義務づけており、CPS 234(情報セキュリティ)は情報資産へのアクセス制御とインシデント対応を要求する。AIエージェントが取引システムや顧客データベースにアクセスする金融現場では、「モデルに禁止を指示した」というプロンプトレベルの対策だけでは規制要件を満たしたとはみなされない。Aegisのように、すべてのアクションをポリシー決定点で評価し、許可・拒否・保留の判断を署名付きで記録する仕組みこそが、規制当局が求める「実行の証拠」を提供する。

ガバナンスの責任境界の再定義

もう一つの重要な転換は、ガバナンスの責任境界の再定義である。従来のAI安全性は、モデル提供者(ベンダー)が安全性を「組み込む」という発想が強かった。しかしAegisのアプローチでは、ランタイム層のポリシー定義と運用はシステム導入者(エンタープライズや規制対象事業者)の側に委ねられる。モデルは提案を行うが、その提案を実行してよいかどうかを判断するのは、導入者が定義したポリシーとランタイムである。つまり、安全性の最終責任がモデルベンダーからシステム運用者へと移る。この責任移転は、AIガバナンスの実務を「モデル選定」から「ランタイム設計」へと重心移動させる。

Aegisが示した「モデルは提案し、信頼されたランタイムが判断する」という原則は、単なる技術アーキテクチャの提案にとどまらない。それはAI安全性の議論を、モデルの内部表現という不透明な領域から、ポリシーと監査という透明な運用領域へと移すための基盤である。評価実験が示した79件のプロンプトリークとAegis管理下での副作用ゼロという対照的な結果は、このパラダイムシフトの有効性を裏付ける実証データとして重みを持つ。

限界と今後の課題

AegisはエージェントAIの安全性に対して有望なアプローチを示しているが、現時点ではいくつかの明確な限界が存在する。研究成果を実務に応用する際には、これらの制約を正しく理解した上で評価する必要がある。

サンドボックス評価と本番環境のギャップ

本研究におけるすべての評価は、サンドボックス環境とモックツールを用いて実施されている。42タスク×3条件×5ラン家系×10反復の合計6,300行という大規模な評価は統計的には堅牢だが、これらはあくまで合成タスクコーパス上での結果である。実際のプロダクション環境では、ネットワーク遅延や外部APIの応答の揺らぎ、マルチテナント環境でのリソース競合、想定外のエッジケースなど、サンドボックスでは再現できない複雑性が存在する。本番環境での実証実験が今後の最重要課題である。

タスクコーパスの多様性と一般化可能性

評価に使用された42タスクというコーパスサイズは、エージェントAIが直面しうるすべてのリスクシナリオをカバーしているとは言い難い。例えば、クロスエージェント通信やマルチステップにわたる連鎖的な攻撃、長期間にわたって徐々に権限を拡大するような緩慢な攻撃パターンは、現行のコーパスでは十分に検証されていない。より多様なドメイン(医療、金融、製造業など)や、より複雑なワークフローを含むタスクセットでの追加検証が不可欠である。

ポリシー品質と制御マッピングへの依存

Aegisの有効性は、アクティブポリシーの品質と制御マッピングの完全性に強く依存する。ポリシーに抜け穴があった場合や、制御マッピングが不完全な場合、その脆弱性をモデルが悪用する可能性は否定できない。ポリシー自体の正当性検証や、制御マッピングの自動生成・検証手法の開発は、今後の研究課題として残されている。

公開アーティファクトの範囲制限

GitHubで公開されているサンドボックスリポジトリ(Aegis_PEP_Sandbox)は、公開PEP、モックツール、合成タスクコーパスを含むものの、Aegisカーネルや本番トラスト基盤、ローカルPDP代用、認証情報、署名鍵などの中核コンポーネントは意図的に含まれていない。これはセキュリティ研究として適切な境界設定だが、第三者が完全に再現・検証することを困難にしている。公開されたアーティファクトのみで評価結果を追試できる環境の整備が、学術的な信頼性向上には求められる。

「ゼロリスク」ではないという立場

本論文は「Aegisがすべてのリスクを排除する」と主張しているわけではない。観測されたリスク提案が実際の副作用にならなかったという限定的な主張に留まっている。未知の攻撃ベクトルや、ポリシー設計時に想定されていなかった新種のリスクに対しては、Aegisも完全には防御できない可能性がある。ランタイムガバナンスは万能薬ではなく、モデル自体の安全性向上やプロンプトガバナンス、人的監視との多層的な組み合わせが真の安全策となる。

よくある質問

AegisはAIモデル自体の安全性を向上させるのですか?

いいえ。Aegisはモデルの出力を「提案」として扱い、モデル自体の振る舞いを変更しようとはしません。安全性の向上は、モデルの提案を実行前にチェックするランタイム層によって実現されます。モデルがリスクのある提案をしても、それが実行されなければ副作用は発生しません。

プロンプトガバナンスとどう違うのですか?

プロンプトガバナンスはモデルへの「指示」であり、モデルの推論コンテキスト内にあります。Aegisはモデルの外部にある信頼されたランタイム層であり、プロンプトインジェクションなどでバイパスされるリスクがありません。プロンプトは「助言」、Aegisは「決定」です。

Aegisはどのような規制要件に対応していますか?

EU AI Actのトレーサビリティ要件、NIST AI RMFのリスク管理、ISO/IEC 42001のAIマネジメントシステム、APRA(オーストラリア金融規制当局)のCPS 230(運用リスク管理)やCPS 234(情報セキュリティ)などの要件に対応する設計になっています。

Aegisは実際に使われているのですか?

本論文はサンドボックス環境での評価であり、本番環境での実証は今後の課題とされています。ただし、SPQR Technologies社によって開発が進められており、GitHubで公開サンドボックスPEPリポジトリ(Aegis_PEP_Sandbox)が公開されています。

Senate(上院)決済とは具体的にどのようなものですか?

単独の権限で判断できない案件について、複数の投票者による定足数ベースの投票で可否を決定する仕組みです。例えば、外部への機密データ開示のような高リスク案件は、一人の判断ではなく複数人の合意が必要という設計です。投票結果は署名付きで記録され、監査可能です。

まとめ

エージェントAIがファイル操作、メール送信、ジョブ実行、ワークフロー変更といったツールやAPIにアクセスする時代において、安全性の決定的な境界は「モデルの提案が現実世界の副作用になる遷移点」にあります。従来のLLM安全性対策は有害なテキストを出力しないようにモデルを調整することに注力していましたが、エージェントAIでは問題の本質が「有害なテキスト生成」から「有害な操作の副作用」へと変化しました。この変化に対応するには、モデルの内側(プロンプトやファインチューニング)ではなく、モデルとツール実行の間の境界に制御層を配置するアプローチが必要です。

Aegisはまさにこの境界にランタイムガバナンスを配置し、「モデルは提案し、信頼されたランタイムが判断する(The model proposes; the trusted runtime decides)」という原則を実装しました。6,300行に及ぶ反復評価の結果、プロンプトポリシー条件では79行のリスク提案(暴走バックグラウンドジョブ40行、外部生データ要求39行)がリークとして発生したのに対し、Aegis管理下ではモックツール適用0件、リスクのある副作用完了0件を達成しています。この差は、プロンプトガバナンスが「助言」に過ぎないのに対し、Aegisが「決定」を下す存在であることに起因します。

本稿で解説したAegisの核心的な設計要素は以下のとおりです。

コンポーネント 役割 効果
アクティブポリシー状態と制御マッピング 各提案をポリシーに対して評価(モデルは関与不可) プロンプトインジェクションへの耐性
信頼されたサーバーサイド・プロヴェナンス 根拠をランタイム側で自ら解決 引用捏造・証拠改ざんの防止
フェイルクローズ実行セマンティクス 不確実な場合は実行しない 誤動作のリスクをゼロに
Senate(上院)エスカレーション 非単独承認パスでの定足数投票 高リスク案件の適切な判断
決定トレースと監査証跡 4層のトレースを分離記録 規制対応・監査可能性の確保

これらの設計は、1970年代のSaltzer & Schroederによる参照モニタ原理(完全媒介)やPEP/PDPアーキテクチャといったセキュリティ分野の古典に着想を得つつ、EU AI ActやAPRA CPS 230/234などの現代的な規制要件にも対応しています。

一方で、Aegisには今後の課題も残されています。現時点ではサンドボックス/モックツール環境での評価に留まっており、本番環境での実証は今後のフェーズに委ねられています。42タスクという限られたコーパスでの結果であり、より多様なタスクやドメインでの検証が必要です。また、ポリシーの品質と制御マッピングの完全性に依存するという制約もあり、運用開始後のポリシー管理プロセスが重要になります。公開されているアーティファクトがAegisカーネルや本番トラスト基盤を含まないという点も、再現性の検証には注意が必要です。

「モデルは提案し、信頼されたランタイムが判断する」——この原則は、AIガバナンスを文書やベンチマークによる評価から、実際の運用制御へと引き上げるパラダイムシフトを象徴しています。Aegisは単なる一研究プロジェクトではなく、「AIエージェントの安全性をどう担保するか」という問いに対する、システムズアプローチの具体的な実装例です。今後のエージェントAIの実運用において、実行時ガバナンスは必須の要素となるでしょう。

参考資料

  1. Aegis論文(メイン): arXiv:2608.16891 - "Runtime Governance for Agentic AI: Action-Boundary Control with Trusted Provenance and Fail-Closed Execution" - https://arxiv.org/abs/2608.16891
  2. Cryptographic Runtime Governance(Aegis関連論文): arXiv:2603.16938 - "Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement" - https://arxiv.org/abs/2603.16938
  3. OpenAgentSafety: arXiv:2507.06134 - "OpenAgentSafety: A Comprehensive Framework for Evaluating Real-World AI Agent Safety" - https://arxiv.org/abs/2507.06134
  4. Agents of Chaos: arXiv:2602.20021 - "Agents of Chaos" - https://arxiv.org/abs/2602.20021
  5. Aegis公開サンドボックスリポジトリ(GitHub) - https://github.com/CyberQube1/Aegis_PEP_Sandbox
  6. Lex Fiducia: SSRN - "Lex fiducia: constitutional AI and the architecture of verifiable trust" - https://ssrn.com/abstract=5276785
  7. Lex Veritas: SSRN - "Lex veritas: cryptographic proofs and evidentiary integrity in constitutional AI" - https://ssrn.com/abstract=5294174
  8. Saltzer & Schroeder (1975): "The protection of information in computer systems" - https://ieeexplore.ieee.org/document/1451770
  9. OWASP LLM01: Prompt Injection - https://genai.owasp.org/llmrisk/llm01-prompt-injection/
  10. NCSC: Thinking about the security of AI systems - https://www.ncsc.gov.uk/blog-post/thinking-about-security-ai-systems

関連記事