情報セキュリティの敗北史 by @azu #42 情報セキュリティの敗北史|白揚社 -Hakuyosha- 1950年ぐらいのセキュリティの歴史の話から始まって、1970年には「大規模なソフトウェアシステムにおいては、エラーや異常が完全にないことを検証するのは事実上不可能」という話があったのが面白い。 Ware report - Wikipedia あと1970年にPROS(Provably Secure Operating System:証明可能な安全性を持つOS)という形式的証明みたいなことやってたのも面白い。 Provable security - Wikipedia 科学では反証可能性で担保するが、セキュリティではそうなってない。 あるシステムは安全ではないと言うことはできるが、あるシステムは安全であると言うことは難しい(バグがないシステムは存在しない)。セキュリティでは、完璧に安