y_taka_23 https://blog.hatena.ne.jp/y_taka_23/ チェシャ猫の消滅定理 https://ccvanishing.hateblo.jp/ だいぶ日が空いてしまって今更ですが、先日行われた JAWS DAYS 2018 で登壇してきました*1。モデル検査器 Alloy を使って AWS の IAM を検証してみるという内容です。 形式手法 × AWS というテーマではこれまでにもいくつかのイベントで発表していますが、題材はネットワーク関連の検証がメインでした。 ccvanishing.hateblo.jp ccvanishing.hateblo.jp ccvanishing.hateblo.jp さすがに同じことばかり話していても芸がないので、今回は新ネタとして IAM を投入してみました。CFP も Security Slot … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fccvanishing.hateblo.jp%2Fentry%2F2018%2F05%2F18%2F205101" title="JAWS DAYS 2018 で形式手法による IAM の検証について話してきました - チェシャ猫の消滅定理" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-05-18 20:51:01 rich https://ccvanishing.hateblo.jp/entry/2018/05/18/205101 1.0 100%