Open issues in formal methods for cryptographic protocol analysis (0)

by C MEADOWS
Venue:In Proceedings of DARPA Information Survivability Conference and Exposition (DISCEX 2000). IEEE Computer