The Cryptographic Abstract Machine