JAWS DAYS 2018 で使用したスライドです。形式手法の一種、モデル検査器 Alloy を用いて AWS の IAM 設定を検証する手法について解説しました。公式が提供する IAM Policy Simulator でできるのはすでに存在するポリシの検証までですが、本手法では一歩進んで設計の段階からツールがサポートします。 講演概要:https://jawsdays2018.jaws-ug.jp/session/1476/ ブログ:http://ccvanishing.hateblo.jp/entry/2018/05/18/205101
![AWS × 形式手法で人知を超えたセキュリティを手に入れろ #jd2018_c #jawsdays / JAWS DAYS 2018](https://cdn-ak-scissors.b.st-hatena.com/image/square/6a0f8967275010a95cc67a4e413664b3138581c2/height=288;version=1;width=512/https%3A%2F%2Ffiles.speakerdeck.com%2Fpresentations%2Ffcb99394c3174c63b63f66ed7a8328ec%2Fslide_0.jpg%3F9593475)