Certificado DAT ​

1. Descripción general ​

El certificado DAT es la especificación que controla el permiso de emisión de DAT y gestiona los algoritmos de firma y de cifrado del token, así como la información de las claves (Key).

Cada certificado tiene un ID único (CID) y gestiona de forma segura el ciclo de vida del token imponiendo el período durante el cual se puede emitir el DAT y el período de validez (TTL) de los tokens generados.

En DAT la rotación de claves no es opcional. Como el período de emisión está grabado en el certificado a nivel de especificación, una vez transcurrido ese período ya no se pueden crear tokens nuevos con ese certificado.

2. Estructura del certificado ​

cid . start . duration . ttl . sig-alg . crypto-alg . sig-key . crypto-key

2.1. Especificación detallada por campo ​

CID : Hex (uint64)

• Es el ID de certificado único que identifica al certificado. Se corresponde con el campo CID del DAT y determina qué certificado se usa durante la verificación.
• El CID es un identificador inmutable. Al sustituir una clave no se reutiliza el mismo CID: se emite un certificado con un CID nuevo.

Hora de inicio de emisión del DAT : uint64 (Unix Time)

• Indica, en unidades de segundos (Seconds), el momento de inicio a partir del cual se puede emitir un DAT con este certificado.

Duración de emisión del DAT : uint64 (Seconds)

• Es el período de validez de emisión del certificado. Una vez transcurrido ese período (en segundos) desde Hora de inicio de emisión del DAT, ya no se pueden emitir nuevos DAT con este certificado.
• Es una duración (duration), no un instante absoluto. El momento de finalización se calcula como start + duration.

DAT TTL (Tiempo de vida) : uint64 (Seconds)

• Es el período de validez (Time To Live) de los DAT emitidos con este certificado. Al crear un DAT, el valor expire se establece sumando este valor al momento de emisión.

Algoritmo de firma : String / Enum

• Es el algoritmo de firma que se utilizará para generar y verificar el campo signature del DAT.

Algoritmo de cifrado : String / Enum

• Es el algoritmo de cifrado que se utilizará para cifrar y descifrar el campo secure del DAT.

Clave de firma : Base64Url (Binary)

• Son los datos de la clave utilizada para firmar y verificar. (Según el algoritmo, puede ser la clave pública/privada de una clave asimétrica o una clave simétrica).

Clave de cifrado : Base64Url (Binary)

• Son los datos de la clave de cifrado utilizada para cifrar y descifrar el campo secure.

2.2. Cálculo de tiempos ​

end    = start + duration        momento de fin de la emisión
expire = end + ttl               momento de expiración final del certificado

• Todos los cálculos se realizan en uint64 y solo el desbordamiento se rechaza como error.
• duration = 0 y ttl = 0 son valores legales. Permiten expresar un certificado cuya ventana de emisión se cierra de inmediato, o un certificado que produce tokens que quedan invalidados nada más expirar.
• Como todos los campos son enteros sin signo, los valores negativos no existen desde el punto de vista del tipo.

2.3. Firma del constructor ​

Todas las implementaciones de los distintos lenguajes utilizan el siguiente orden de argumentos.

(cid, dat_issuance_start_seconds, dat_issuance_duration_seconds, dat_ttl_seconds,
 signature_key, crypto_key)

3. Ciclo de vida del certificado ​

• La posibilidad de emitir se determina con signable() && start <= now <= end, e incluye ambos extremos.
• Aunque la ventana de emisión se cierre, el certificado sigue vivo durante ttl más. Esto es así para que un token emitido justo antes de que se cierre la ventana pueda agotar su propia vida.
• La fase de retraso de emisión (delay) existe para dar tiempo a que todos los nodos del clúster recojan el nuevo certificado. Para más detalles, consulte el documento Sincronización CMS.

4. Algoritmos ​

4.1. Algoritmos de firma ​

Lista de algoritmos de firma para evitar la falsificación y la alteración del DAT. Se admiten métodos de clave simétrica y de clave asimétrica.

MFS (Maximum Fixed Secret): método que utiliza una clave secreta de tamaño fijo con el mismo número de bits que el tamaño de salida (Output) del algoritmo de hash.

4.2. Algoritmos de cifrado ​

Lista de algoritmos de cifrado autenticado (Authenticated Encryption) para proteger los datos confidenciales del interior del DAT (campo secure).

Incorporación del IV (Initialization Vector): un NONCE (IV) único de 96 bits, generado en cada operación de cifrado, se combina como prefijo (Prefix) delante del resultado del cifrado. Durante el descifrado, los primeros 96 bits se separan como IV para realizar el descifrado.

4.3. Validación de la longitud de la clave ​

Al importar un certificado se comprueba que el número de bits del algoritmo declarado coincide con la longitud real de la clave.

Por ejemplo, si un certificado declara IV-AES256-GCM pero contiene una clave de 16 bytes, la importación se rechaza sin más. Sin esta comprobación se creería estar usando AES-256 mientras que en realidad se estaría operando con AES-128.

5. Exportación verify-only ​

A los servidores que solo verifican no hace falta darles la clave privada de firma. Por eso el certificado DAT ofrece la exportación verify-only.

HMAC es una clave simétrica, por lo que no existe eso de una "clave que solo sirve para verificar". Por eso, cuando se intenta una exportación verify-only, no se omite en silencio, sino que se avisa de inmediato con un error. Si se deja mezclado un certificado HMAC, la exportación verify-only falla, así que quien opere nodos exclusivos de verificación debe usar la familia ECDSA.