Supervisory control of malicious executables in software processes

Xin Xu, Vir Phoha, Asok Ray, Shashi Phoha

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

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
Pages239-259
Number of pages21
ISBN (Print)0387021086, 9780387021089
DOIs
StatePublished - 2005

Fingerprint

Discrete event simulation
Finite automata
Control theory
Experiments

Keywords

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

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Xu, X., Phoha, V., Ray, A., & Phoha, S. (2005). Supervisory control of malicious executables in software processes. In Quantitative Measure for Discrete Event Supervisory Control (pp. 239-259). Springer New York. https://doi.org/10.1007/0-387-23903-0_9

Supervisory control of malicious executables in software processes. / Xu, Xin; Phoha, Vir; Ray, Asok; Phoha, Shashi.

Quantitative Measure for Discrete Event Supervisory Control. Springer New York, 2005. p. 239-259.

Research output: Chapter in Book/Report/Conference proceedingChapter

Xu, X, Phoha, V, Ray, A & Phoha, S 2005, Supervisory control of malicious executables in software processes. in Quantitative Measure for Discrete Event Supervisory Control. Springer New York, pp. 239-259. https://doi.org/10.1007/0-387-23903-0_9
Xu X, Phoha V, Ray A, Phoha S. Supervisory control of malicious executables in software processes. In Quantitative Measure for Discrete Event Supervisory Control. Springer New York. 2005. p. 239-259 https://doi.org/10.1007/0-387-23903-0_9
Xu, Xin ; Phoha, Vir ; Ray, Asok ; Phoha, Shashi. / Supervisory control of malicious executables in software processes. Quantitative Measure for Discrete Event Supervisory Control. Springer New York, 2005. pp. 239-259
@inbook{42ca335b12674960b698a8fba7466e52,
title = "Supervisory control of malicious executables in software processes",
abstract = "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{\%}.",
keywords = "Discrete Event Supervisory Control, Language Measure, Malicious Executable, Software Systems",
author = "Xin Xu and Vir Phoha and Asok Ray and Shashi Phoha",
year = "2005",
doi = "10.1007/0-387-23903-0_9",
language = "English (US)",
isbn = "0387021086",
pages = "239--259",
booktitle = "Quantitative Measure for Discrete Event Supervisory Control",
publisher = "Springer New York",

}

TY - CHAP

T1 - Supervisory control of malicious executables in software processes

AU - Xu, Xin

AU - Phoha, Vir

AU - Ray, Asok

AU - Phoha, Shashi

PY - 2005

Y1 - 2005

N2 - 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%.

AB - 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%.

KW - Discrete Event Supervisory Control

KW - Language Measure

KW - Malicious Executable

KW - Software Systems

UR - http://www.scopus.com/inward/record.url?scp=84889866777&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84889866777&partnerID=8YFLogxK

U2 - 10.1007/0-387-23903-0_9

DO - 10.1007/0-387-23903-0_9

M3 - Chapter

SN - 0387021086

SN - 9780387021089

SP - 239

EP - 259

BT - Quantitative Measure for Discrete Event Supervisory Control

PB - Springer New York

ER -