https://speakerdeck.com/ytaka23/jaws-days-2018

AWS × 形式手法で人知を超えたセキュリティを手に入れろ #jd2018_c #jawsdays / JAWS DAYS 2018 JAWS DAYS 2018 で使用したスライドです。形式手法の一種、モデル検査器 Alloy を用いて AWS の IAM 設定を検証する手法について解説しました。公式が提供する IAM Policy Simulator でできるのはすでに存在するポリシの検証まで...  

関連エントリ

4月から新卒エンジニアになる人達に読んでほしいIT系ニュースサイト9選 - paiza開発日誌

2015-01-13 4月から新卒エンジニアになる人達に読んでほしいIT系ニュースサイト9選 Photo by Anssi Saviluotoこんにちは。今回は谷口がお送りします。来年度にITエンジニアとして新卒入社をされる皆さんは、IT系のニュースや情報の収集はどうやってしていますか?先日弊社が開催いたしました、学生の方向けの勉強会でも「就活中や入社前に見ておくと役立つサイトはありますか?」「入...