Giampaolo Bella Mechanising a Protocol for Smart Cards. 19-33 2001 conf/esmart/2001 E-smart http://link.springer.de/link/service/series/0558/bibs/2140/21400019.htm db/conf/esmart/esmart2001.html#Bella01