Supervisory control of malicious executables

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

Research output: Contribution to journalConference article

Abstract

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)
Volume36
Issue number5
DOIs
StatePublished - Jan 1 2003
Event5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2003 - Washington, United States
Duration: Jun 9 1997Jun 11 1997

Keywords

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

ASJC Scopus subject areas

  • Control and Systems Engineering

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

  • Cite this