A Bypass of Cohen’s Impossibility Result
Detecting illegal resource access in the setting of grid computing is similar to the problem of virus detection as put forward by Fred Cohen in 1984. We discuss Cohen’s impossibility result on virus detection, and introduce “risk assessment of security hazards”, a notion that is decidable for a large class of program behaviors.
KeywordsMalcode Program algebra Thread algebra Virus Worm
Unable to display preview. Download preview PDF.
- 2.Bergstra, J.A., Middelburg, C.A.: Thread algebra for strategic interleaving. Computing Science Report 04-35, Eindhoven University of Technology, Department of Mathematics and Computing Science (November 2004)Google Scholar
- 4.Bergstra, J.A., Ponse, A.: Execution architectures for program algebra. Logic Group Preprint Series 230, Dept. of Philosophy, Utrecht University (2004)Google Scholar