Fred Cohen nel 1986 ha dimostrato nel suo dottorato di ricerca tesi l'indecidibilità della rilevazione virale (nessun correttore di virus perfetto può mai esistere).
Questo implica che esiste un virus totalmente non rilevabile?
Altrimenti è possibile che un malware rimanga per molto tempo (diciamo molti anni o per sempre) non rilevato per l'industria antivirus (prodotti COTS)?
Inoltre, è possibile che un malware rimanga nascosto per molto tempo dalle agenzie di difesa?
Quali sono i modi migliori per avvicinarsi a questo obiettivo (forse rendere il comportamento del programma caotico, imprevedibile o aggiungere complessità temporale come negli algoritmi crittografici, utilizzare un programma host raro o comune ...)?