Automatic Checking of Cryptographic Protocols (0)

by Darrell Kindred, Jaennette M Wing, “Fast
Venue:In Proceedings of the Second USENIX Workshop on Electronic Commerce