Brian O'Berry
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,724 of 8,771 by trust here, #7,386 by citations
Whom Brian O'Berry trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Brian O'Berry overall
Papers from Brian O'Berry's perspective
Ordered by how strongly the researchers Brian O'Berry trusts endorse each paper. Same corpus, a different order for every researcher.
- Using model checking to analyze network vulnerabilities (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
- Automated generation and analysis of attack graphs (Proceedings 2002 IEEE Symposium on Security and Privacy)
- LAMBDA: A Language to Model a Database for Detection of Attacks (International Symposium on Recent Advances in Intrusion Detection)
- Computer-attack graph generation tool (Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01)
- Two formal analyses of attack graphs (Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15)
- A requires/provides model for computer attacks (New Security Paradigms Workshop)
- Scalable, graph-based network vulnerability analysis (Conference on Computer and Communications Security)
- Constructing attack scenarios through correlation of intrusion alerts (Conference on Computer and Communications Security)
- Introduction to algorithms
- Alert correlation in a cooperative intrusion detection framework (Proceedings 2002 IEEE Symposium on Security and Privacy)
Their papers
- Efficient minimum-cost network hardening via exploit dependency graphs (2003) — 298 citations