安全相关公理、定理、推理

公理：所有的程序都有缺陷

大程序定律：大程序的缺陷甚至比它包含的内容还多

推理：一个安全相关程序有安全性缺陷

定理：只要不运行这个程序，那么这个程序有缺陷也无关紧要

推理：只要不运行这个程序，那么这个程序有安全漏洞，也无紧要

定理：对外暴露的计算机，应尽可能少地运行程序，且运行和程序也尽可能地小

推论：防火墙基本法则：防火墙必须配置得尽可能小，才能降低风险。