Non scrivi affermazioni comprendendo ogni vettore di attacco. Scrivi affermazioni definendo ogni stato compromesso.