DEA Programmation
Première partie du cours sur la vérification de protocoles cryptographiques
Une version préliminaire des notes de cours concernant la
vérification du secret en nombre borné de sessions se trouve
ici . Cette version a vocation à être
complétée. Aussi, les commentaires et questions sont les bienvenus.