Searching for shapes in cryptographic protocols (2007)

by S F Doghmi, J D Guttman, F J Thayer
Venue:In Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, volume 4424 of LNCS