https://bluesquadron.dev/ja/tags/invariants/Recent content in Invariants on BlueSquadron — AI システムのためのセキュリティエンジニアリングHugo -- gohugo.ioja-jpflorent.batard@gmail.com (Florent Batard)florent.batard@gmail.com (Florent Batard)Tue, 13 Oct 2026 00:00:00 +0000https://bluesquadron.dev/ja/posts/writing-security-invariants-got-easy-keeping-them-true-didnt/Tue, 13 Oct 2026 00:00:00 +0000florent.batard@gmail.com (Florent Batard)https://bluesquadron.dev/ja/posts/writing-security-invariants-got-easy-keeping-them-true-didnt/2022 年、Alex Smolen が挙げたセキュリティ不変条件の候補リストの先頭は「すべてのソフトウェアサービスがシングルサインオンを使う」でした。4 年後のいま、そのチェックはモデルが数秒で書きます。それを真であり続けさせるもの——エンジン、3 つのファイルからなる種、そして例外の正直な置き場所——こそ、設計する価値のある部分です。