Fuentes de azar, de dónde sale lo impredecible

Los lenguajes traen casi siempre dos clases de generadores. El de propósito general busca que sus números estén bien repartidos y sean rápidos; sirve para mezclar una lista, simular o elegir un color. Pero su siguiente salida se deduce de las anteriores: tiene un estado interno y, con suficientes salidas, ese estado se reconstruye. El criptográfico (CSPRNG, generador pseudoaleatorio criptográficamente seguro) está diseñado para que eso no pase: conociendo muchas de sus salidas no se puede deducir la siguiente.

La diferencia no es de velocidad ni de tamaño del número: es de qué se puede deducir de lo que ya salió. Todo lo que debe ser impredecible para otro (claves, nonces, tokens de sesión, sales) sale del segundo.

Un programa no inventa entropía: la pide. Los sistemas operativos recogen eventos imprevisibles (tiempos de interrupciones, de disco, de red, fuentes del hardware) y los mezclan en un generador del propio sistema, al que se accede con llamadas pensadas para eso: getrandom y /dev/urandom en Linux, BCryptGenRandom en Windows. Las librerías criptográficas de cada lenguaje (secrets en Python, SecureRandom en Java, random_bytes en PHP, el módulo crypto de Node.js) son envoltorios de esa fuente. La guía de gestión de sesiones de OWASP lo pide así: un generador criptográficamente seguro para los identificadores de sesión.

La regla práctica del revisor es corta: lo que protege algo se pide a la fuente del sistema o a la librería criptográfica, nunca se fabrica.

Abre el inventario del laboratorio. Cada fila es un servicio de la plataforma, con el uso que hace del azar y la llamada que emplea. Para revisarlo no basta con mirar qué generador es: hay que preguntar para qué se usa el valor. Un generador de propósito general en un uso que no protege nada es una decisión razonable; en un uso que identifica a una persona es un hallazgo.

El otro lado del inventario también cuenta: un informe de revisión debe decir qué está bien, para que no se pierda entre los fallos. Cuenta las filas cuyo valor protege algo y sale de una fuente criptográfica.

El inventario tiene también un servicio que elige qué banner de portada se muestra, y otros dos que esperan un tiempo aleatorio entre reintentos o reparten el orden de una cola de espera. Marcar todo uso de un generador de propósito general como fallo es tan mal informe como no ver el fallo real: el hallazgo existe cuando una propiedad de seguridad depende de que el valor sea impredecible.