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

by D Song, S Berezin, A Perrig
Venue:Journal of Computer Security