Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc110101, author = {Mathieu Baudet}, title = {Random Polynomial-Time Attacks and Dolev-Yao Models}, journal = jalc, year = 2006, volume = 11, number = 1, pages = {7--21} }