Teorema di Bellowin
Assioma 1 (Murphy)
Tutti i programmi hanno dei bug
Teorema 1 (legge dei Programmi Grossi)
I programmi grossi sono più bacati degli altri
Corollario 1.1
Un programma di sicurezza ha bug di sicurezza
Teorema 2
Se un programma non è usato, è indifferente se ha dei bug
Corollario 2.1
Se un programma non è usato, non importa se ha bug di sicurezza
Teorema 3
Le macchine esposte devono girare il minimo numero di programmi (piccoli)