Pablo Giambiagi Mads Dam On the Secure Implementation of Security Protocols. 144-158 2003 conf/esop/2003 ESOP http://link.springer.de/link/service/series/0558/bibs/2618/26180144.htm db/conf/esop/esop2003.html#GiambiagiD03