Probabilistic Analysis of Operational Security for Network Systems
暂无分享,去创建一个
[1] Nancy R. Mead,et al. Survivable Network System Analysis: A Case Study , 1999, IEEE Softw..
[2] Rodolphe Ortalo,et al. Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security , 1999, IEEE Trans. Software Eng..
[3] Amir Pnueli. The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..
[4] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[5] Judea Pearl,et al. Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.
[6] Eugene H. Spafford,et al. The COPS Security Checker System , 1990, USENIX Summer.
[7] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.