Risk Assessment for One-Counter Threads

Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `one-counter thread'. In this paper the decidability of risk assessment (a certain form of action forecasting) for one-counter threads is proved. This relates to Cohen's impossibility result on virus detection (Comput. Secur. 6(1), 22

• Type: Journal
• Year: 2008
• Where: MST
• Authors: Alban Ponse, Mark van der Zwaag
• Keywords: MST 2008, One-counter Threads, Risk Assessment, Thread Algebra