A Bypass of Cohen’s Impossibility Result

  • Jan A. Bergstra
  • Alban Ponse
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3470)


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.


Malcode Program algebra Thread algebra Virus Worm 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bergstra, J.A., Loots, M.E.: Program algebra for sequential code. Journal of Logic and Algebraic Programming 51(2), 125–156 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 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
  3. 3.
    Bergstra, J.A., Ponse, A.: Combining programs and state machines. Journal of Logic and Algebraic Programming 51(2), 175–192 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Bergstra, J.A., Ponse, A.: Execution architectures for program algebra. Logic Group Preprint Series 230, Dept. of Philosophy, Utrecht University (2004)Google Scholar
  5. 5.
    Cohen, F.: Computer viruses - theory and experiments (1984); Version including some corrections and references: Computers & Security 6(1), 22–35 (1987), Scholar
  6. 6.
    Deelman, E., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Vahi, K., Blackburn, K., Lazzarini, A., Arbree, A., Cavanaugh, R., Koranda, S.: Mapping abstract complex workflows onto grid environments. Journal of Grid Computing 1, 25–39 (2003)CrossRefGoogle Scholar
  7. 7.
    Hwang, S., Kesselman, C.: A flexible framework for fault tolerance in the grid. Journal of Grid Computing 1(3), 251–272 (2003)zbMATHCrossRefGoogle Scholar
  8. 8.
    Nemeth, Z.s., Sunderam, V.: Characterizing grids: attributes, definitions, and formalisms. Journal of Grid Computing 1, 9–23 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jan A. Bergstra
    • 1
    • 2
  • Alban Ponse
    • 1
  1. 1.Programming Research GroupUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations