| Titre : | Vérifier automatiquement les protocoles de sécurité : réf. internet :RE95 |
| in : | |
| Auteurs : | Yohan Boichut, Auteur ; Pierre-Cyrille Héam, Auteur |
| Type de document : | texte imprimé |
| Format : | p.293-300 / ill. |
| Note générale : | Bibliogr p.300 |
| Langues : | Français |
| Tags : | Sécurité -- protocoles |
| Note de contenu : |
Au sommaire:
-Les protocoles de sécurité, applications et enjeux - Un peu de cryptographie - Les protocoles et leurs failles - Vérification de protocoles : la plate-forme avispa - Ta4sp - Conclusion - Organismes, programme de recherche |
Exemplaires
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| aucun exemplaire |
