Title: Execution monitoring of security-critical programs in distributed systems: a specification-based approach
Abstract: We describe a specification-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. 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.
Publication Year: 2002
Publication Date: 2002-11-22
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 322
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot