Horatiu Cirstea Specifying Authentication Protocols Using Rewriting and Strategies. 138-152 2001 conf/padl/2001 PADL http://link.springer.de/link/service/series/0558/bibs/1990/19900138.htm db/conf/padl/padl2001.html#Cirstea01