Survivability analysis of network specifications
暂无分享,去创建一个
[1] Jason Flinn,et al. Summaries of Three Critical Infrastructure Applications , 1997 .
[2] Judea Pearl,et al. Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.
[3] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.
[4] Nancy A. Lynch,et al. Proving time bounds for randomized distributed algorithms , 1994, PODC '94.
[5] Amir Pnueli. The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..
[6] Nancy R. Mead,et al. Survivable Network Systems: An Emerging Discipline , 1997 .
[7] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[8] Rodolphe Ortalo,et al. Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security , 1999, IEEE Trans. Software Eng..
[9] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[10] Dimitri P. Bertsekas,et al. Dynamic Programming and Optimal Control, Two Volume Set , 1995 .
[11] Nancy R. Mead,et al. Survivable Network System Analysis: A Case Study , 1999, IEEE Softw..
[12] Stephan Merz,et al. Model Checking , 2000 .
[13] Eugene H. Spafford,et al. The COPS Security Checker System , 1990, USENIX Summer.