Synthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications

TitleSynthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications
Publication TypeConference Paper
Year of Publication1999
AuthorsSekar R., Sekar PUppuluriR
Conference Name8th USENIX Security Symposium (USENIX Security 99)
Date Published08/1999
PublisherUSENIX Association
Conference LocationWashington, D.C.
URLhttps://www.usenix.org/conference/8th-usenix-security-symposium/synthesizing-fast-intrusion-preventiondetection-systems