Protocoles cryptographiques : analyse par méthodes formelles : Dossier complet | Techniques de l’Ingénieur

Article de référence | Réf : AF176 v1

Protocoles cryptographiques : analyse par méthodes formelles

Auteur(s) : Véronique CORTIER

Date de publication : 10 avr. 2006