AIアシュアランスは、AI・自動化システム向けのサイバーアシュアランス技術について、公開PoCを2件発表しました。
コールドチェーンの引き渡しと、企業間接続を対象に、実行条件と結果を証拠で検証する仕組みです。
形式検証、証拠の再検証、実行時の強制制御を組み合わせ、公開コードと検証記録を示しています。
記事の概要
同社の技術は、操作前後の状態、承認、作用範囲、実行結果を証拠で結び付けます。
AIの提案や過去の承認をそのまま実行権限とは扱わず、実行直前の条件を確認します。
コールドチェーンのPoCでは、記録不足や権限などを確認し、条件成立時だけ模擬引き渡しを実行します。
同じ要求の再送による重複処理を抑え、結果が食い違う場合は正常完了とせず隔離します。
企業間接続のPoCでは、架空3社のシステムが通信し、相手側の結果を確認してから接続先を切り替えます。
通信応答の消失や処理途中の停止など、40シナリオをプロセス間通信で検査しました。
両PoCは定理証明支援系Lean 4による形式検証を含む自動検査に成功しています。
同社は本技術群について、2025年10月・11月の国内基礎出願に基づくPCT国際出願5件を行っています。
記事のポイント
- コールドチェーンを検証： 記録不足や権限を確認し、条件成立時だけ引き渡します。再送による重複処理や、結果不一致の正常完了も防ぎます。
- 企業間接続を制御： 相手側の処理結果が分からない場合は切替えを保留し、取消し確定後に新たな承認を得る仕組みです。
- 公開検証の範囲： 37命題や768一致命題、40シナリオを確認しましたが、実環境全体の安全性を証明するものではありません。
このニュースがもたらす影響
- 導入を検討する企業： AIに操作を任せる前に、承認や権限だけでなく実行直前の条件と実行後の結果まで確認する設計が必要になりそうです。障害時の保留や再送対策も評価項目になり得ます。
- セキュリティ事業者： AIの操作を許可・拒否する機能に加え、企業間処理の結果確認や証拠の再検証まで扱えるかが、サービス設計や連携機能の差別化要因になる可能性があります。
- 業界全体： 公開コードと検証記録によって、AI実行制御の評価を機能説明だけでなく保証範囲や前提条件で比較しやすくなります。本番適用時の検証項目を明確にする契機となりそうです。
このニュースの背景
AIが業務システムや外部環境を操作する場合、実行を許可できることと、相手側で何が起きたかを確認できることは別の課題です。
企業間通信では応答が失われると処理済みか未実行かを判断できず、接続先の切り替えが重複処理につながるおそれがあります。
政府のAIセキュリティ関連資料でも、ツール呼び出し前の検証、権限管理、AIエージェントの観測と制御が扱われており、実行時の確認手段が求められています。
関連するニュース
- AIアシュアランスは、責任OSを中核とする技術群でPCT国際出願7件を完了しました。
- Ragateは、業務棚卸しからPoC実装、効果試算までを2か月で支援するAXスプリントプログラムを開始しました。
- SBI生命保険はClaude Sonnet 4.6を使う引受査定支援のPoCを完全内製で開始しました。
詳しい記事の内容はこちらから（引用元）
株式会社AIアシュアランスのプレスリリース（2026年11月2日 09時30分）AIセーフティに「検証可能な実行保証」を…
https://prtimes.jp/main/html/rd/p/000000011.000182721.html