Decision procedures for vulnerability analysis. (Procédures de décision pour l'analyse de vulnérabilités)