Protocoles cryptographiques : analyse par méthodes formelles. TI Techniques de l'Ingénieur.
Protocoles cryptographiques : analyse par méthodes formelles [pdf]Paper  bibtex   

Downloads: 0