Abstract models of cryptographic protocols