Saket Kaushik
Conference on Computer and Communications Security · 2002
A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 3 researchers here, as inferred from the citation graph.
Whom Saket Kaushik trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Saket Kaushik overall
Papers from Saket Kaushik's perspective
Ordered by how strongly the researchers Saket Kaushik 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)
- 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)
- 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)
- Computer-attack graph generation tool (Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01)
- Introduction to algorithms
- Constrained Markov Decision Processes
Their papers
- Scalable, graph-based network vulnerability analysis (2002) — 899 citations