Symbolic analysis of crypto-protocols based on modular exponentiation (2003)

by M Boreale, M G, Buscemi
Venue:In Proceedings of the Mathematical Foundations of Computer Science 2003, 28th International Symposium (MFCS