A Vulnerability Model of Distributed Systems Based on Reliability Theory
暂无分享,去创建一个
[1] Lin Chuang,et al. Research on Model-Checking Based on Petri Nets , 2004 .
[2] Marc Dacier,et al. Quantitative Assessment of Operational Security: Models and Tools * , 1996 .
[3] Rodolphe Ortalo,et al. Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security , 1999, IEEE Trans. Software Eng..
[4] Emden R. Gansner,et al. An open graph visualization system and its applications to software engineering , 2000 .
[5] Somesh Jha,et al. Automated generation and analysis of attack graphs , 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.
[6] Fausto Giunchiglia,et al. NUSMV: A New Symbolic Model Verifier , 1999, CAV.
[7] Laura Painton Swiler,et al. A graph-based network-vulnerability analysis system , 1997, S&P 1998.
[8] Somesh Jha,et al. Minimization and Reliability Analyses of Attack Graphs , 2002 .