SPAN+AVISPA for Verifying Cryptographic Protocols
Résumé
This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properties on cryptographic protocols
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)