Strand spaces: proving security protocols correct,” (1999)

by F J T Fabrega, J C Herzog, J D Guttman
Venue:Journal of Computer Security,