Důkaz bezpečnosti linuxového generátoru náhodných čísel
Datum publikování: 18. 9. 2024
Čtyři vědci zveřejnili formální důkaz [PDF], že nový deterministický generátor náhodných bitů (DRBG) v Linuxu je bezpečný. Konkrétně to znamená, že počet dotazů, které by bylo třeba provést, aby se odhalil jeho vnitřní stav, závisí na kvalitě entropie, kterou může shromáždit z různých zdrojů. Pokud generátor dokáže shromáždit dostatek entropie, vytváří bezpečná náhodná čísla.