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.

  1. Frédéric Cuppens
  2. Somesh Jha

Who trusts Saket Kaushik overall

  1. Xinming Ou

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.

  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. Alert correlation in a cooperative intrusion detection framework (Proceedings 2002 IEEE Symposium on Security and Privacy)
  4. Two formal analyses of attack graphs (Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15)
  5. A requires/provides model for computer attacks (New Security Paradigms Workshop)
  6. LAMBDA: A Language to Model a Database for Detection of Attacks (International Symposium on Recent Advances in Intrusion Detection)
  7. Managing alerts in a multi-intrusion detection environment (Seventeenth Annual Computer Security Applications Conference)
  8. Computer-attack graph generation tool (Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01)
  9. Introduction to algorithms
  10. Constrained Markov Decision Processes

Their papers