The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-based Approach

Author

Calvin Ko, Manfred Ruschitzka, Karl Levitt

Entry type

article

Abstract

This paper describes a specfication-based approach to detect exploitations of vulnerabilities in security-critical programs. The approach utilizes security specifications that describe the intended behavior of programs and scans audit trails for operations that are in violation of the specifications...

Key alpha

Ko

Pages

13

Publication Date

0000-00-00

Language

English

Location

A hard-copy of this is in the Papers Cabinet

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.