Názor ke zprávičce Bezpečnostní audit TrueCryptu bude pokračovat od Kolemjdoucí - Bezpečnost průměrného programu lze až na pár výjimek...

Bezpečnost průměrného programu lze až na pár výjimek prokázat zaručeně a definitivně, pro sérii exaktně definovaných příkazů jde určit exaktní výsledek série.
Bezpečnost šifer se při bezpečnostním auditu nezkoumá.