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
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)