2009): Cryptographic Protocol Composition via the Authentication (0)

by Joshua Guttman
Venue:In: Proc. FOSSACS’09, LNCS 5504