En relation avec le sujet du cours

Prouver la sécurité informatique : la logique à la rescousse