Computervirussen en Cohen's onmogelijkheidsresultaat

An English version is also available.

Het achtste gezichtsbepalende probleem voor het informaticaonderzoek uit de lijst van tien gezichtsbepalende problemen opgesteld door prof dr Jan Bergstra, zie [NOAG-ict] blz. 52 luidt:

"Probleem 8: Geef een overtuigende theorie van computervirussen en soortgelijke krachtige vormen van artificial life. De sterke start door Cohen [C84] in 1984 heeft anno 2005 opmerkelijk weinig follow-up gehad."

Ik zal op deze webpagina proberen een aantal van de aspecten van dit probleem uiteen te zetten en enige literatuur en links naar relevante websites te geven.

Aspecten:

• Wat is het onmogelijkheidsresultaat van Cohen?
• Waar is het goed voor?
• Hoe gaat het bewijs van Cohen?
• Zijn er mensen in Nederland of elders die hieraan werken?
• Wie ben ik?

Wat is het onmogelijkheidsresultaat van Cohen?

Simpel geformuleerd: gegeven een redelijke klasse van computer programma's (bv. de while-programs) is het is niet mogelijk te bepalen of een computer programma bij uitvoering een virus zal verspreiden.

Referenties

• F. Cohen. Computer viruses - theory and experiments, 1984. Version including some corrections and references: Computers & Security 6(1): 22-35, 1987.

Waar is het goed voor?

Hoe gaat het bewijs van Cohen?

Terug naar de aspecten.

Zijn er mensen in Nederland of elders die hieraan werken?

Wie ben ik dat ik hierover een webpagina maak?

Zie desgewenst mijn home page. Ik ben in 1992 gepromoveerd op een proefschrift in de procesalgebra (Process Algebras with Data).

Terug naar het begin.