Recherche de doc sur sujet de securité
walidov
Messages postés
3
Date d'inscription
Statut
Membre
Dernière intervention
-
jpdeclermont Messages postés 1792 Statut Membre -
jpdeclermont Messages postés 1792 Statut Membre -
bonjour
connaissez vous des liens de docs sur :
- les preuves de protocoles: logiques, systèmes de transitions
- les modèles de sécurité
connaissez vous des liens de docs sur :
- les preuves de protocoles: logiques, systèmes de transitions
- les modèles de sécurité
