Supervisory control of malicious executables

V. V. Phoha, Xin Xu, A. Ray, S. Phoha

Research output: Contribution to journalConference Articlepeer-review


This paper presents a systems-theoretic approach to profile, model, and control malicious executables in computer software. By treating the structural profile of malicious codes as a generator of formal languages, the language recognizer serves as a supervisory controller in the sense that the spread of malicious executables is arrested with the goal of making the virus ineffective. The theoretical foundation and the approach presented in this paper are applicable to a wide class of malicious executables. The controller can be designed as a separate program or as a background process to run on individual machines to monitor other processes. Simulation experiments on supervisory control of a file virus are presented as examples.

Original languageEnglish (US)
Pages (from-to)1065-1070
Number of pages6
JournalIFAC Proceedings Volumes (IFAC-PapersOnline)
Issue number5
StatePublished - 2003
Externally publishedYes
Event5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2003 - Washington, United States
Duration: Jun 9 1997Jun 11 1997


  • Automata theory
  • Detection systems
  • Discrete event system
  • Software safety
  • Supervisory control

ASJC Scopus subject areas

  • Control and Systems Engineering


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

Cite this