Supervisory control of malicious executables in software processes

Xin Xu, Vir V. Phoha, Asok Ray, Shashi Phoha

Research output: Chapter in Book/Entry/PoemChapter


This chapter models the execution of a software process as a discrete event system that can be represented by a Deterministic Finite State Automaton (DFSA) in the discrete event setting. Supervisory Control Theory (SCT) is applied for on-line detection of malicious executables and prevention of their spreading. The language measure theory, described in Chapter 1, is adapted for performance evaluation and comparison of the unsupervised process automaton and five different supervised process automata. Simulation experiments under different scenarios show the rate of correct detection of malicious executables to be 88.75%.

Original languageEnglish (US)
Title of host publicationQuantitative Measure for Discrete Event Supervisory Control
PublisherSpringer New York
Number of pages21
ISBN (Print)0387021086, 9780387021089
StatePublished - 2005
Externally publishedYes


  • Discrete Event Supervisory Control
  • Language Measure
  • Malicious Executable
  • Software Systems

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Supervisory control of malicious executables in software processes'. Together they form a unique fingerprint.

Cite this