証明されたスケーラビリティ：Cedar を用いた大規模アクセス制御の理論と応用 Tweet

Proposal: (エントリー済み)

本講演では、AWSが開発した「証明付きポリシーエンジン」であるCedarを紹介し、理論を踏まえたポリシー設計や最適化の仕組みを解説します。

Webシステムのセキュリティにおいて、認可ポリシーの設計は欠かせない要素です。しかし大規模なマイクロサービスに対する認可では、スケーラビリティの問題は避けて通れません。再発明を避け一貫性を保つ上で認可ロジックをポリシーエンジンとして集約することは有効ですが、エンジン自身に高い応答性能が要求されます。

そこで本講演では、AWSによるOSSポリシーエンジンCedarを紹介します。広く使用されているOPAと比較したCedarの特性は、ポリシー数が増えた際の応答性能にあります。この性能は不要な判定をバイパスする最適化によって実現されており、さらに最適化の正当性は、なんとCIを用いて「数学的に証明」されています。高度な理論が実際のプロダクトに役立つ面白い事例です。

主なターゲットはプラットフォーム設計者です。参加者がポリシーエンジンの内部機構や「証明」の特性を深く理解し、実際のセキュリティ設計に役立てられるよう、理論と応用の両面からDeep DIveします。