Monte Carlo analysis of security protocols: Needham-Schroeder revisited (2004)

by R Grosu, X Huang, S A Smolka, P Yang
Venue:Rutgers University