Mathieu Baudet Random Polynomial-Time Attacks and Dolev-Yao Models. 7-21 2006 11 Journal of Automata, Languages and Combinatorics 1 db/journals/jalc/jalc11.html#Baudet06