Op zich is het terecht dat op apparatuur die aan zeer strenge certificeringseisen moet voldoen niet zomaar wijzigingen aangebracht mogen worden door de gebruiker. Maar een malware-besmetting is natuurlijk net zo goed een wijziging die de certificering ongeldig moet maken. Zo'n systeem moet goed dichtzitten, en ik vermoed dat moderne "rijke" desktopsystemen daarvoor niet geschikt zijn, die zijn veel te veel gericht op alles met alles integreren. Neem bijvoorbeeld het mengen van uitvoerbare code en niet-uitvoerbare data in "documenten" die scripts of triggers voor het uitvoeren van code kunnen bevatten, zoals office-documenten, PDFs en webpagina's. Niets wat bij normaal gebruik gewijzigd kan worden zou ooit uitvoerbaar moeten zijn op zo'n systeem, dat moet van strikt afgeschermde locaties komen die alleen door gecertificeerd personeel bijgewerkt kunnen worden, en van die afgeschermde locaties mag dus ook geen software komen die extern aangeleverde code uit kan voeren. Geen webbrowser dus, geen office-pakket, ...