Skip to main content
Article thumbnail
Location of Repository

A Bypass of Cohen’s Impossibility Result

By J.A. Bergstra and A. Ponse


Detecting illegal resource access in the setting of grid computing is similar to the problem of virus detection as put forward by\ud 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

Topics: Wijsbegeerte, Malcode, Program algebra, Thread algebra, Virus, Worm
Year: 2005
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.