Chip and Skim: Cloning EMV Cards with the Pre-play Attack
A logic of authentication