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

by M Boreale, M G Buscemi
Venue:Mathematical Foundations of Computer Science 2003