Automated discovery of mimicry attacks

Automated discovery of mimicry attacks (2006)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Jonathon T. Giffin , Somesh Jha , Barton P. Miller

Venue:	of Lecture Notes in Computer Science
Citations:	11 - 1 self

BibTeX

@INPROCEEDINGS{Giffin06automateddiscovery,
    author = {Jonathon T. Giffin and Somesh Jha and Barton P. Miller},
    title = {Automated discovery of mimicry attacks},
    booktitle = {of Lecture Notes in Computer Science},
    year = {2006},
    pages = {41--60},
    publisher = {Springer}
}

Bookmark

OpenURL

Abstract

Citations

2026	Model Checking - Clarke, Grumberg, et al. - 2000
457	A sense of self for unix processes - Forrest, Hofmeyr, et al. - 1996
388	Enforceable security policies - Schneider - 2000
245	D (2001) Intrusion detection via static analysis - Wagner, Dean
194	Bebop: A symbolic model checker for boolean programs - Ball, Rajamani
178	MOPS: An infrastructure for examining security properties of software - Chen, Wagner - 2002
138	A fast automatonbased method for detecting anomalous program behaviors - SEKAR, BENDRE, et al.
123	Efficient algorithms for model checking pushdown systems - Esparza, Hansel, et al. - 2000
81	Undermining an anomaly-based intrusion detection system using common exploits - Tan, Killourhy, et al. - 2002
69	B.: Formalizing Sensitivity in Static Analysis for Intrusion Detection - Feng, Giffin, et al. - 2004
65	Detecting Manipulated Remote Call Streams - Giffin, Jha, et al. - 2002
53	Model-Checking Pushdown Systems - Schwoon - 2002
53	Mimicry Attacks on Host Based Intrusion Detection Systems - Wagner, Soto - 2002
49	On Gray-Box Program Tracking for Anomaly Detection - Gao, Reiter, et al.
49	Specification and verification of the UCLA Unix security kernel - Walker, Kemmerer, et al. - 1980
42	Model checking security properties of control flow graphs - Besson, Jensen, et al.
26	K.S.: Hiding intrusions: From the abnormal to the normal and beyond - Tan, McHugh, et al. - 2002
21	Verifying information flow goals in security-enhanced linux - Guttman, Herzog, et al.
21	Automatic Extraction of Accurate Applicationspecific Sandboxing Policy - Lam, Chiueh
19	Efficient intrusion detection using automaton inlining - Gopalakrishna, Spafford, et al. - 2005
18	Environment-Sensitive Intrusion Detection - GIFFIN, DAGON, et al. - 2005
14	Model-Based Vulnerability Analysis of Computer Systems - Ramakrishnan, Coimbatore, et al. - 1998
2	Why 6?” Defining the operational limits of stide, an anomaly based intrusion detector - Tan, Maxion - 2002
1	Data sets—synthetic FTP - Forrest - 1998