Symbolic Analysis of Crypto-Protocols based on Modular Exponentiation (2003)

by Michele Boreale , Maria Grazia Buscemi
Venue:In Proc. of MFCS ’03, LNCS 2747
Citations:8 - 2 self