Rewriting for cryptographic protocol verification (1966)

by T Genet, F Klay
Venue:University of Waterloo