多数のリソースを連携させる関係上、どうしても複雑になりがちな AWS 上のアクセス制御。もしおかしな設定が紛れ込んでしまった場合、発見するのも修正するのも一苦労です。そこで本発表では、数学的な理論に基づいてシステムを厳密に定式化し、人間の手によらずにアクセス制御の「正しさ」を検証する手法について解説します。さあ、論理のチカラで一段上のセキュリティを目指してみませんか？

登壇者

チェシャ猫

所属：非公開

お仕事ではコンテナベースのアーキテクチャ・運用設計と格闘中。趣味では関数型プログラミングや数理的手法によるソフトウェア検証について研究していたりしていなかったりする。トレードマークは猫耳。