Automating Cryptographic Protocol Language Generation from Structured Specifications