Random polynomial-time attacks and Dolev-Yao models (2004)

by Mathieu Baudet
Venue:Proceedings of the Workshop on Security of Systems: Formalism and Tools (SASYFT’04), Orléans