Experto canadiense de PRNG critica a las autoridades por usar antiguos algoritmos de Excel para obtener visas

El Programa de reunificación familiar (Programa de reunificación familiar) es uno de los tres principales programas canadienses de asistencia a migrantes. Permite que tanto inmigrantes recién llegados como canadienses de larga data se reúnan con sus familiares. De acuerdo con el Reglamento de Inmigración y Protección de Refugiados, las familias que viven en el extranjero reciben asistencia financiera, al igual que los familiares migrantes que viven en Canadá. Los cónyuges, hijos, padres, nietos, hijos adoptivos, etc. pueden contar con asistencia financiera.

El problema es que Canadá no puede otorgar inmediatamente la ciudadanía a todos los familiares de todos los migrantes. Anteriormente, se pusieron en la cola, y la consideración de la aplicación tuvo que esperarse durante años. Para acelerar el proceso, los liberales propusieron una lotería. Entonces, desde 2017, se ha jugado una lotería en Canadá como la Tarjeta Verde estadounidense. Entre las aproximadamente 100,000 solicitudes, 10,000 son seleccionadas al azar. Gracias a una respuesta oficial a una solicitud bajo la Ley de Acceso a la Información, la publicación canadiense The Globe an Mail ha revelado algunos detalles técnicos sobre cómo se realiza la lotería.

Resulta que el gobierno federal selecciona a los ganadores usando Microsoft Excel. Así es como se ve todo el procedimiento en detalle.

• Paso 1 La Oficina de Inmigración, Refugiados y Ciudadanía (Inmigración, Refugiados y Ciudadanía de Canadá, IRCC), utilizando Microsoft Excel, asigna a cada solicitud un número en orden.
• Paso 2 A cada aplicación con un número de serie se le asigna un número aleatorio de 100,000 a 9,999,999 usando la función RANDOMBETWEEN en Microsoft Excel.
• Paso 3 La hoja de cálculo de Excel está ordenada por columna con números aleatorios de menor a mayor, y las primeras 10,000 entradas se seleccionan como ganadores de lotería.

Este esquema ha sido criticado por algunos expertos. El experto en generación de números aleatorios más famoso, el profesor Pierre L'Ecuyer, de la Universidad de Montreal, autor de muchos trabajos científicos sobre RNG, califica muy mal este enfoque: "Este es un generador muy antiguo, realmente no se puede llamar moderno". el es. Un estudio realizado por el profesor L'Ecuille mostró que el generador de números pseudoaleatorios de Excel no pasa ciertas pruebas estadísticas. Aunque para esta aplicación es suficiente, pero nada impide que el IRCC simplemente tome y use un PRNG moderno normal.

Excel usa algoritmos matemáticos con un resultado determinista como PRNG, que dependen de una sola semilla. En el caso de Excel, la aplicación crea automáticamente este valor inicial. Si conoce un número en el primer paso, puede calcular todos los otros números en la secuencia. Y algo similar había sucedido antes, escribe un periódico canadiense. En 1994, el consultor de TI Daniel Corriveau descubrió este patrón en Keno y ganó 600,000 CAD en una noche en el casino de Montreal de Montreal. Adivinó 19 de 20 números ganadores tres veces seguidas .

Una investigación mostró que el casino usaba el mismo PRNG antiguo que en Excel. Al comienzo de cada día, se seleccionó un valor aleatorio, y otros dígitos durante el día fueron números de esta secuencia predecible.

Luego, en 1994, el profesor L'Ecouillet propuso una estructura para PRNG deterministas $$$(\ mathcal {S}, \ mu, f, \ mathcal {U}, g)$donde $$$\ mathcal {S}$Es un conjunto finito de estados, $$$\ mu$- distribución de probabilidad en el espacio de estado $$$\ mathcal {S}$usado para seleccionar el estado inicial $$$\ mathcal {s_ {0}}$(semilla) $$$f: \ mathcal {S} \ rightarrow \ mathcal {S}$- función de transición, $$$\ mathcal {U}$- espacio de valores de salida, $$$g: \ mathcal {S} \ rightarrow \ mathcal {U}$.

Por lo general $$$\ mathcal {U} = (0,1)$, y el estado del generador viene dado por la fórmula de recurrencia $$$s_ {i} = f \ (s_ {i-1})$para $$$i \ geq 1$. Valor de salida del generador $$$u_ {i} = g \ (s_ {i}) \ in \ mathcal {U}$; $$$u_ {0}, \ u_ {1}, \ u_ {2} \ ...$- una secuencia de números pseudoaleatorios. Esta es una secuencia periódica, y el "período" se llama mínimo positivo $$$j$.

Entre los PRNG, los más comunes son el método congruente lineal, el método de Fibonacci con retrasos, el registro de desplazamiento con retroalimentación lineal, el registro de desplazamiento con retroalimentación generalizada. De los PRNG modernos, el vórtice Mersenna, propuesto en 1997 por Matsumoto y Nishimura, también fue ampliamente utilizado. Sus ventajas son un período colosal (2 ¹⁹⁹³⁷ −1) y una distribución uniforme en 623 dimensiones (el método congruente lineal proporciona una distribución más o menos uniforme en un máximo de cinco dimensiones), así como la rápida generación de números aleatorios.

El profesor L'Ecuille cree que las autoridades actúan muy estúpidamente usando el PRNG de Excel, porque los PRNG criptográficos confiables son fácilmente accesibles y no cuestan nada: “Los generadores criptográficos son gratuitos. Están en Internet ”, dijo el profesor. "Solo elige uno y todos". No es del todo difícil ".

Sin embargo, la Comisión de Gobierno del IRCC parece satisfecha con el uso de Excel. En una declaración por correo electrónico, la portavoz Shannon Ker escribió: "Apoyamos este proceso de selección aleatoria como una herramienta de igualdad de oportunidades suficiente para cualquiera que quiera expresar su interés en patrocinar a sus padres y abuelos".