| Titre : |
Vérifier automatiquement les protocoles de sécurité : réf. internet :RE95 |
| Type de document : |
texte imprimé |
| Auteurs : |
Yohan Boichut, Auteur ; Pierre-Cyrille Héam, Auteur |
| Importance : |
p.293-300 |
| Présentation : |
ill. |
| Note générale : |
Bibliogr p.300 |
| Langues : |
Français (fre) |
| Mots-clés : |
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 |
Vérifier automatiquement les protocoles de sécurité : réf. internet :RE95 [texte imprimé] / Yohan Boichut, Auteur ; Pierre-Cyrille Héam, Auteur . - [s.d.] . - p.293-300 : ill. Bibliogr p.300 Langues : Français ( fre)
| Mots-clés : |
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 |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheVérifier automatiquement les protocoles de sécurité
