2007 |
3 | EE | Jingmin Zhou,
Mark Heckman,
Brennen Reynolds,
Adam Carlson,
Matt Bishop:
Modeling network intrusion detection alerts for correlation.
ACM Trans. Inf. Syst. Secur. 10(1): (2007) |
2006 |
2 | EE | Ebrima N. Ceesay,
Jingmin Zhou,
Michael Gertz,
Karl N. Levitt,
Matt Bishop:
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs.
DIMVA 2006: 1-16 |
2005 |
1 | EE | Jingmin Zhou,
Adam J. Carlson,
Matt Bishop:
Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis.
ACSAC 2005: 117-126 |