謎は全て解けた！ 安楽椅子探偵に捧げる AWS ネットワーク分析入門
その不可解な事件はクラウドのネットワーク上で発生した…。疎通できるはずの通信が何故か繋がらなかったり、逆にセキュリティ的に危険な通信がうっかり繋がってしまったり。複雑なネットワーク設定に立ち向かう上で、「実際に ping を打つ」以上に網羅的で体系的な分析は可能でしょうか？ 本講演では、SMT ソルバを用いて、実際の通信を行うことなしにネットワーク上の問題を「推理」させる手法について解説します。
Cheshire Cat
登壇者プロフィール
Cheshire Cat
ProofCafe
Software Engineer
普段の業務では、Docker や Kubernetes を中心としたコンテナ技術の検証、およびサーバレスアプリケーションの設計・実装を担当。それと並行してプライベートでは、関数型プログラミングや数理的手法によるソフトウェア検証について研究し、そのクラウドネイティブ技術への応用を模索中。トレードマークは猫耳。