Identifiant pérenne de la notice : 109561384
Notice de type
Personne
Environnement pour l'analyse de sécurité d'objets communicants / Florian Lugou ; sous
la direction de Ludovic Apvrille et Aurélien Francillon. Thèse de doctorat : Informatique
: Côte d'Azur : 2018
Information trouvée : rapporteur de thèse, membre du jury
Vérification des protocoles cryptographiques et propriétés algébriques / Stéphanie
Delaune, 2006 [Thèse]
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial