Présentation de l'auteur Bruno Blanchet :

Livres publiés jusqu'à présent par Bruno Blanchet :

Modélisation et vérification des protocoles de sécurité avec le calcul Pi appliqué et ProVerif -...
New Publ Inc
La vérification des protocoles de sécurité est un...
Modélisation et vérification des protocoles de sécurité avec le calcul Pi appliqué et ProVerif - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>