En relation avec le sujet du cours

La vérification formelle appliquée aux protocoles cryptographiques