David Monniaux Abstracting Cryptographic Protocols with Tree Automata. 149-163 1999 conf/sas/1999 SAS http://link.springer.de/link/service/series/0558/bibs/1694/16940149.htm db/conf/sas/sas99.html#Monniaux99