Athena: a new efficient automatic checker for security protocol analysis (0)

by D Song
Venue:Proceedings of the Twelfth IEEE Computer Security Foundations Workshop (1999), IEEE Computer