Fred Cohen
THE COMPUTER JOURNAL, Vol. 44, No. 4, 2001, pp. 326-327
ISSN 1460-2067
April 2001
There may be some relatively interesting things to do in developing Turing machine models of operating systems. The original Turing machine model of operating systems used to model viruses (Cohen [1]) does this to a limited extent and can also be used as a model of networks, but it fails to capture the full richness of modern operating systems in detail. The advantage of this is generality, but the disadvantage is the inability to specifically model the detailed events in current operating systems.