Céline Chevalier Stéphanie Delaune Steve Kremer Transforming Password Protocols to Compose. 204-216 2011 FSTTCS http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.204 conf/fsttcs/2011 db/conf/fsttcs/fsttcs2011.html#ChevalierDK11