Athena: a novel approach to efficient automatic security protocol analysis (2001)

by Dawn Song, Sergey Berezin, Adrian Perrig
Venue:Journal of Computer Security