Michael Jacobs

Information Systems · 2003

A researcher in the Science corpus: 1 paper; trusts 4 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

• Information Systems — 5 citations into it; #8,726 of 8,771 by trust here, #7,386 by citations

Whom Michael Jacobs trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Paul Ammann

Who trusts Michael Jacobs overall

1. Xinming Ou

Papers from Michael Jacobs's perspective

Ordered by how strongly the researchers Michael Jacobs trusts endorse each paper. Same corpus, a different order for every researcher.

1. Using model checking to analyze network vulnerabilities (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
2. Automated generation and analysis of attack graphs (Proceedings 2002 IEEE Symposium on Security and Privacy)
3. LAMBDA: A Language to Model a Database for Detection of Attacks (International Symposium on Recent Advances in Intrusion Detection)
4. Computer-attack graph generation tool (Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01)
5. Two formal analyses of attack graphs (Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15)
6. A requires/provides model for computer attacks (New Security Paradigms Workshop)
7. Scalable, graph-based network vulnerability analysis (Conference on Computer and Communications Security)
8. Constructing attack scenarios through correlation of intrusion alerts (Conference on Computer and Communications Security)
9. Alert correlation in a cooperative intrusion detection framework (Proceedings 2002 IEEE Symposium on Security and Privacy)
10. Introduction to algorithms

Their papers

• Efficient minimum-cost network hardening via exploit dependency graphs (2003) — 298 citations