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 larg...

Full description

Saved in:
Bibliographic Details
Published inAdvances in Grid Computing - EGC 2005 pp. 1097 - 1106
Main Authors Bergstra, Jan A., Ponse, Alban
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2005
Springer
SeriesLecture Notes in Computer Science
Subjects
Applied sciences
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Malcode
Program algebra
Software
Thread algebra
Virus
Worm
High performance
Decidability
Risk assessment
Grid
Risk analysis
Distributed computing
Hazard
Program behavior
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:3540269185
9783540269182
ISSN:0302-9743
1611-3349
DOI:10.1007/11508380_112