Paul Ammann
Computer Networks and Communications · 2000–2003
A researcher in the Science corpus: 3 papers; trusts 5 researchers and is trusted by 10 researchers here, as inferred from the citation graph.
Subfields
- Computer Networks and Communications — 5 citations into it; #7,274 of 9,886 by trust here, #6,788 by citations
Whom Paul Ammann trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Paul Ammann overall
- Steven Noel
- Xinming Ou
- Sushil Jajodia
- Somesh Jha
- Wayne F. Boyer
- Brian O'Berry
- Peng Ning
- Oleg Sheyner
- Michael Jacobs
Papers from Paul Ammann's perspective
Ordered by how strongly the researchers Paul Ammann 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)
- Alert correlation in a cooperative intrusion detection framework (Proceedings 2002 IEEE Symposium on Security and Privacy)
- Fang: a firewall analysis engine (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
- Two formal analyses of attack graphs (Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15)
- Specifying Software Requirements for Complex Systems: New Techniques and Their Application (IEEE Transactions on Software Engineering)
- A requires/provides model for computer attacks (New Security Paradigms Workshop)
- LAMBDA: A Language to Model a Database for Detection of Attacks (International Symposium on Recent Advances in Intrusion Detection)
- Managing alerts in a multi-intrusion detection environment (Seventeenth Annual Computer Security Applications Conference)
- Introduction to algorithms
Their papers
- Using model checking to analyze network vulnerabilities (2000) — 485 citations
- Generating test data from state‐based specifications (2003) — 388 citations
- Scalable, graph-based network vulnerability analysis (2002) — 899 citations