SMLTP セキュリティ プロトコル
SecureAI は Secure Model Language Transfer Protocol (SMLTP) を使用して管理、封じ込め、証明を行います。 大規模言語モデル (LLM) との通信。SMTP とは何ですか?
SMLTP は、公開仕様ドラフト (v0.2) を持つセキュリティ プロトコルです。それは、 AI トラフィックの 決定論的コントロール プレーン: 確率論的な検査のみに依存するのではなく SMLTP は、プロンプトのすべての管理対象 AI 呼び出しの 5 つのプロパティを決定論的かつ暗号化します。 検証可能。2 プレーン モデル
SMLTP は、次の 2 種類のコントロールを意図的に分離します。- 決定論的プレーン (暗号化): 誰が電話をかけているか、何に電話する権限があるか、 リクエストが変更されていないこと、取り消されたサブジェクトが切断されていること、および記録をサイレントに保存できないこと 書き直された。これらは署名とハッシュによって強制される保証です。
- 確率的平面 (検査): DLP、PII 編集、およびプロンプト シールドは、 決定的な制御であり、明示的に ベストエフォート です。 SMLTP は暗号化を主張することはありません プロンプト インジェクションを検出するか、インスペクションがすべての機密文字列をキャッチします。 作成された検査評決は、署名された検証可能な領収書に記録されます。
主な機能
署名済み資格トークン
- すべての管理されたリクエストには、ID、モデル、ポリシー、リクエスト バイトをバインディングする Ed25519 署名付きトークンが含まれます。
- 使い捨てトークン ID によるリプレイ保護
- サブジェクトの取り消しは数秒以内にゲートウェイで有効になります - プロバイダー側の協力は必要ありません
署名済みのコンプライアンス受領書
- ゲートウェイ経由の各インタラクションにより、ゲートウェイによって署名された受領書が生成されます
- 受領書には、管理ポリシー、リクエストハッシュ、作成された検査証拠が記録されます。
- 領収書はオフラインでゲートウェイの公開キーと照合して検証できます。「」を参照してください。 領収書 API
改ざん防止監査
- 監査イベントはハッシュチェーンされ (
prev_hash→current_hash)、マークル ブロックに封印されます。 - マークル ルートは外部の透明性ログ (Sigstore Rekor) に固定できるため、レコードの 整合性は SecureAI オペレーターを信頼することに依存しません。「」を参照してください。 不変ログ
ポリシーの施行
- モデルのホワイトリスト、データ常駐 (ジオフェンス) チェック、およびゲートウェイで評価される出力制御
- 監視モードは観察および証明します。 強制モードは、署名付きの非準拠通話をブロックします。 拒否受領書
鍵管理
- ローテーションをサポートする Ed25519 署名キー。以前のキーで発行された領収書は引き続き検証可能です
範囲と誠実さ
- 展開範囲: SMLTP の受信と強制は、ゲートウェイ ルーティングされた展開に適用されます。 プロバイダーを直接呼び出す展開でも、プラットフォーム DLP/PII と監査ログは取得されますが、取得されません。 ゲートウェイ署名付き領収書 (領収書 API にこの動作が文書化されています)。
- 暗号化スコープ: トランスポート暗号化は TLS です。クライアントとゲートウェイ間のリクエストバンドルは、 さらに暗号化されます (AES-256-GCM)。 SMLTP は現在、エンドツーエンド暗号化を提供していません AI プロバイダーを通じて送信され、前方機密性は主張されません。
- 検査範囲: DLP/PII 検出は確率的かつベストエフォート型です。 SMLTP が保証するもの 評決が証明されているということ。受領書は何がチェックされ、その結果が何であったかを証明する。
セキュリティ上の利点
- 証明性: 署名された領収書は「ログがある」を「誰でも何が起こったかを確認できる」に変える
- 封じ込め: 侵害されたエージェントや不正行為を行ったエージェントであっても、署名された権利を超えることはできません
- 決定的取り消し: ユーザー、キー、またはエージェントをブロックすると、ゲートウェイでのトラフィックが数秒で削減されます
- 監査可能性: 外部監査人が独立して検証できる改ざん明示証跡