A language for the description of cryptographic algorithms.

Examples: