Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code