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

by D X Song
Venue:CSFW ’99: Proceedings of the 12th IEEE workshop on Computer Security Foundations, IEEE Computer Society,