SPAN+AVISPA for Verifying Cryptographic Protocols
Abstract
This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properties on cryptographic protocols
Domains
Software Engineering [cs.SE]Origin | Files produced by the author(s) |
---|