Abstract

This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical 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. We developed a formal framework for specifying the security-relevant behavior of programs, on which we based the design and implementation of a real-time intrusion detection system for a distributed system. Also, we wrote security specifications for 15 Unix setuid root programs. Our system detects attacks caused by monitored programs, including security violations caused by improper synchronization in distributed programs. Our approach encompasses attacks that exploit previously unknown vulnerabilities in security-critical programs. 1.

Citations

1128	The C Programming Language - Kernighan, Ritchie - 1988
725	the Ordering of Events in a Distributed System - Time - 1978
363	An intrusion-detection model - Denning - 1987
237	Computer Security Threat Monitoring and Surveillance - Anderson
123	Classification and detection of computer intrusions - Kumar - 1995
113	USTAT: A real-time intrusion detection system for Unix - Ilgun
110	The nides statistical component: description and justification - Javitz, Valdes - 1993
104	Automated detection of vulnerabilities in privileged programs by execution monitoring - KO, FINK, et al. - 1994
74	Detection of anomalous computer session activity - Vaccaro, Liepins
14	et al., \A Real-time Intrusion Detection Expert System (IDES - Lunt - 1990
6	et al. A sense of self for unix processes - Forrest - 1996
3	Pages: Rdist - remote file distribution program - Microsystems, Man - 1993
2	Heterogeneous data translations based on environment grammars - Ruschitzka, Clevenger - 1989