Approche à vérification systématique pour l'architecture de sécurité