Fijar el algoritmo y validar la firma

El campo alg del encabezado es una afirmación más del token, escrita por quien lo fabricó. Si el validador lo usa para decidir cómo verificar, deja la decisión de seguridad en manos de la persona a la que está intentando verificar. Las buenas prácticas de JWT de la IETF (RFC 8725) lo dicen sin rodeos: la librería debe dejar que la aplicación fije los algoritmos permitidos, rechazar los demás y asegurarse de que cada clave se use con un solo algoritmo.

Dos fallos clásicos salen de no hacerlo. Uno es aceptar none, el valor que declara un token sin firma. El otro es mezclar familias: si un servicio que espera una firma asimétrica acepta también una simétrica, puede acabar tratando la clave pública, que es pública, como si fuera el secreto compartido.

Un atajo de pruebas en el validador es una puerta trasera con condición. Lo que importa es cuándo se cumple la condición en producción, y eso no se ve en el código sino en el valor por defecto y en el entorno real. Un valor por defecto que abre la puerta si la variable falta es el contrario de fallar cerrado: basta un despliegue que olvide la variable para que el atajo quede activo.

Abre el laboratorio y compara validador.py con entorno-produccion.env.

El registro del validador anota el algoritmo declarado y el resultado de cada token. Fíjate en tres cosas: qué algoritmos llegan además del esperado, cuáles se rechazaron y por qué, y cuáles se aceptaron sin firma, con qué sujeto y qué rol. Un rechazo es buena noticia; una aceptación sin firma con un sujeto que no existe es un incidente. MITRE recoge esta debilidad como CWE-347, verificación incorrecta de una firma criptográfica.

Lee registro-validaciones.txt completo, incluida la nota final.

Leer la carga sin verificar es legítimo para muy poco: por ejemplo, saber qué clave pedir antes de validar. Usarla para decidir algo (a qué servicio enviar la petición, qué rol tiene la persona) es confiar en un dato que cualquiera puede escribir. El problema crece cuando el servicio de destino no vuelve a validar porque «la puerta ya lo hizo».

Abre enrutador.py y lee también la nota del despliegue.

El equipo tiene tres propuestas para corregir el validador. Evalúalas pensando en lo que viste en el registro: tokens none aceptados, intentos con otro algoritmo y un enrutador que confía en la carga.