Giampaolo Bella Inductive Verification of Smart Card Protocols. 87-132 2003 11 Journal of Computer Security 1 db/journals/jcs/jcs11.html#Bella03