"so long as you make sure the files can't be executed"
La maggior parte delle teorie formali sulla sicurezza sono basate su un'espressione logica di una o delle condizioni. Il problema con le teorie formali è che non riescono a prevedere comportamenti al di fuori del modello. Come ci si assicura che i file non possano essere eseguiti?
Anche le macchine Linux e Mac OS X / BSD vengono occasionalmente in contatto con i file system che non dispongono di autorizzazioni di esecuzione. In particolare, la maggior parte dei supporti flash rimovibili è formattata come FAT32.
Le tue macchine Linux montano automaticamente supporti rimovibili?
Hai installato WINE o un altro framework di compatibilità Windows?
Se hai risposto sì a entrambe queste domande congratulazioni: anche tu puoi essere infettato da malware Windows!
D'altra parte se si esegue la scansione antivirus di ogni file per impostazione predefinita, è necessario preoccuparsi di meno.
Non sono d'accordo leggermente con Hendrik. Il motivo principale per controllare i file per il malware è quello di mantenere efficienti i propri sistemi. Poi in secondo luogo per mantenere puliti i tuoi clienti. Se ti mancano le risorse per operare, allora abbastanza presto non ne avrai. E i file di scansione dei virus non sono un compito ingrato se lo automatizzi.