Sean formula_16 y formula_17 dos funciones de cifrado y descifrado (en un sistema de cifrado simétrico) bajo la clave formula_18, respectivamente.