an automatic checker for security protocol analysis (1999)

by D Athena Song
Venue:In: Proceedings of the 12th IEEE Computer Security Foundations Workshop