[論文レビュー] Sharing is caring: Attestable and Trusted Workflows out of Distrustful Components

Amir Al Sadi, Sina Abdollahi+3 more|arXiv (Cornell University)|Mar 3, 2026

Security and Verification in Computing被引用数 0

ひとこと要約

この論文は、相互に信認できない TEEs 間のすべての通信経路を明示的に検証・制約することで、機密性と信頼を分離するアーキテクチャ拡張である Mica を紹介する。

ABSTRACT

Confidential computing protects data in use within Trusted Execution Environments (TEEs), but current TEEs provide little support for secure communication between components. As a result, pipelines of independently developed and deployed TEEs must trust one another to avoid the leakage of sensitive information they exchange -- a fragile assumption that is unrealistic for modern cloud workloads. We present Mica, a confidential computing architecture that decouples confidentiality from trust. Mica provides tenants with explicit mechanisms to define, restrict, and attest all communication paths between components, ensuring that sensitive data cannot leak through shared resources or interactions. We implement Mica on Arm CCA using existing primitives, requiring only modest changes to the trusted computing base. Our extension adds a policy language to control and attest communication paths among Realms and with the untrusted world via shared protected and unprotected memory and control transfers. Our evaluation shows that Mica supports realistic cloud pipelines with only a small increase to the trusted computing base while providing strong, attestable confidentiality guarantees.

研究の動機と目的

• マルチコンポーネントの機密クラウドワークロードにおいて、機密性と信頼を分離する必要性を動機づける。
• TEEs 間および信頼されていないホストとのすべての通信経路を明示的に定義・制限・検証するポリシー駆動の機構を提案する。
• 共有された信頼済みソフトウェアスタックを必要とせず、パイプライン全体でエンドツーエンドの機密性を実現する。
• Arm CCA 上で Mica を実装・評価して、現実的なクラウドパイプラインにおけるオーバーヘッドと実用性を検討する。

提案手法

• 保護されていないメモリ、共有保護メモリ、既知の covert チャネルを統治するポリシー言語を備えた機密計算アーキテクチャを拡張する。
• 通信する TEEs 間のエンドツーエンド機密性プロパティを検証するグループアテステーション方式を導入する。
• TEEs がピア、チャネル、遷移を定義するポリシーを提供するランタイムポリシーライフサイクルを提供し、それが執行可能で変更不可となる。
• Arm CCA の設計を Realm Management Monitor（RMM）と既存のプリミティブと統合し、ハードウェア変更なしで実装する。

Figure 1 . Prior designs for confidential pipelines. Red indicate untrusted components (boxes or communication arrows), green indicates trusted components (secure communication or TCB). The dotted lines indicate the exposed interface to the untrusted host.

実験結果

リサーチクエスチョン

• RQ1 相互に信頼できない TEEs のパイプライン全体で、すべてのコンポーネントを信頼せずに機密性を保証するにはどうすればよいか。
• RQ2 TEEs 間のすべての相互通信パスと潜在的 covert チャネルを明示的に定義、検証、制約するためにどのようなポリシー機構が必要か。
• RQ3 Arm CCA でのこのようなポリシーの実装は、従来のアプローチと比べてオーバーヘッドと実用性はどうか。

主な発見

• Mica は、信頼できる計算基盤にわずかな増分で、信頼できないコンポーネントのパイプラインに対してエンドツーエンドの機密性を実現する。
• ポリシー言語とランタイムが TEEs およびホスト間の明示的なメモリ共有と制御フロー制約を強制する。
• グループアテステーションはデプロイメント全体のポリシーを捕捉し、パイプライン全体での情報共有を推論する。
• Mica は Arm CCA 上で既存プリミティブを用いて実装可能であり、ハードウェア変更は最小限ですむ。
• 評価では、現実的なクラウドパイプラインが制約されたオーバーヘッドと強力な検証可能な機密性でサポートされることを示す。

Figure 2 . CCA Architecture.