Keith Piwowarski
Asia-Pacific Computer Systems Architecture Conference · 2006
A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Papers from Keith Piwowarski's perspective
Ordered by how strongly the researchers Keith Piwowarski trusts endorse each paper. Same corpus, a different order for every researcher.
- A Quantitative Study of Firewall Configuration Errors (Computer)
- Γ and B
- FIREMAN: a toolkit for firewall modeling and analysis (IEEE Symposium on Security and Privacy)
- 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)
- Two formal analyses of attack graphs (Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15)
- Using model checking to analyze network vulnerabilities (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
- A requires/provides model for computer attacks (New Security Paradigms Workshop)
- Fang: a firewall analysis engine (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
- Constructing attack scenarios through correlation of intrusion alerts (Conference on Computer and Communications Security)
Their papers
- Practical Attack Graph Generation for Network Defense (2006) — 413 citations