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

Cached

Download Links

by Dawn Xiaodong Song
Venue:In Proceedings of the Twelth IEEE Computer Security Foundations Workshop
Citations:72 - 1 self