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 language | English (US) |
---|---|
Pages (from-to) | 1065-1070 |
Number of pages | 6 |
Journal | IFAC Proceedings Volumes (IFAC-PapersOnline) |
Volume | 36 |
Issue number | 5 |
DOIs | |
State | Published - 2003 |
Event | 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2003 - Washington, United States Duration: Jun 9 1997 → Jun 11 1997 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering