SOLUTIONS D’ANALYSE DE LOGICIELS POUR LA CYBERSÉCURITÉ ET LA SÛRETÉ