{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T18:56:19Z","timestamp":1780512979280,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540397236","type":"print"},{"value":"9783540397250","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11856214_7","type":"book-chapter","created":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T07:12:21Z","timestamp":1158390741000},"page":"127-144","source":"Crossref","is-referenced-by-count":118,"title":["Ranking Attack Graphs"],"prefix":"10.1007","author":[{"given":"Vaibhav","family":"Mehta","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Constantinos","family":"Bartzis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haifeng","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Edmund","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeannette","family":"Wing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Bianchini, M., Gori, M., Scarselli, F.: Inside pagerank. ACM Transactions on Internet Technology, pp. 92\u2013128 (2005)","DOI":"10.1145\/1052934.1052938"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Brin, S., Page, L.: Anatomy of a large-scale hypertextual web search engine. In: Proceedings of the 7th International World Wide Web Conference, Brisbane, Australia (1998)","DOI":"10.1016\/S0169-7552(98)00110-X"},{"key":"7_CR3","volume-title":"Model checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (2000)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Dacier, M., Deswarte, Y., Kaaniche, M.: Quantitative assessment of operational security: Models and tools. Technical Report 96493, LAAS (May 1996)","DOI":"10.1007\/978-1-5041-2919-0_15"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Dawkins, J., Hale, J.: A systematic approach to multi-stage network attack analysis. In: Proceedings of the Second IEEE International Information Assurance Workshop (2004)","DOI":"10.1109\/IWIA.2004.1288037"},{"key":"7_CR6","unstructured":"Haveliawala, T.: Efficient computation of pagerank. Stanford DB Group Technical Report (1999)"},{"key":"7_CR7","unstructured":"Haveliawala, T., Kamvar, S., Jeh, G.: An analytical comparison of approaches to personalizing pagerank. Stanford University Technical Report (2003)"},{"key":"7_CR8","unstructured":"Jha, S., Sheyner, O., Wing, J.M.: Minimization and reliability analysis of attack graphs. In: CMU CS Technical Report (February 2002)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Jha, S., Sheyner, O., Wing, J.M.: Two formal analyses of attack graphs. In: Proceedings of the 15th IEEE Computer Security Foundations Workshop, Nova Scotia, Canada, pp. 49\u201363 (June 2002)","DOI":"10.1109\/CSFW.2002.1021806"},{"key":"7_CR10","unstructured":"Jha, S., Wing, J.M.: Survivability analysis of networked systems. In: 23rd International Conference on Software Engineering (ICSE 2001), p. 0307 (2001)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Kamvar, S., Haveliawala, T., Golub, G.: Adaptive methods for the computation of pagerank. In: Stanford University Technical Report (2003)","DOI":"10.1016\/j.laa.2003.12.008"},{"key":"7_CR12","unstructured":"Kamvar, S., Haveliawala, T., Manning, C., Golub, G.: Exploiting the block structure of the web for computing pagerank. In: Stanford University Technical Report (2003)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Kamvar, S., Haveliawala, T., Manning, C., Golub, G.: Extrapolation methods for accelerating pagerank computations. In: Proceedings of the Twelfth International World Wide Web Conference (2003)","DOI":"10.1145\/775152.775190"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Kuehlmann, A., McMilan, K.L., Brayton, R.K.: Probabilistic state space search. In: Proceedings of ACM\/IEEE international conference on Computer Aided Design (1999)","DOI":"10.1109\/ICCAD.1999.810713"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Langville, A.N., Meyer, C.D.: Deeper inside pagerank. Internet Mathematics, 335\u2013400 (2004)","DOI":"10.1080\/15427951.2004.10129091"},{"key":"7_CR16","unstructured":"Lee, C.P.-C., Golub, G.H., Zenios, S.A.: A fast two-stage algorithm for computing pagerank and its extensions. Scientific Computation and Computational Mathematics (2003)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Madan, B.B., Popstojanova, K.G., Vaidyanathan, K., Trivedi, K.S.: A method for modeling and quantifying the security attributes of intrusion tolerant systems. In: Dependable Systems and Networks-Performance and Dependability Symposium, pp. 167\u2013186 (2004)","DOI":"10.1016\/j.peva.2003.07.008"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Noel, S., Jajodia, S.: Managing attack graph complexity through visual hierarchical aggregation. In: Proceedings of the 2004 ACM workshop on Visualization and data mining for computer security, Washington DC, USA (2004)","DOI":"10.1145\/1029208.1029225"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Ortalo, R., Deshwarte, Y., Kaaniche, M.: Experimenting with quantitative evaluation tools for monitoring operational security. IEEE Transactions on Software Engineering, 633\u2013650 (October 1999)","DOI":"10.1109\/32.815323"},{"key":"7_CR20","unstructured":"Phillips, C.A., Swiler, L.P.: A graph-based system for network vulnerability analysis. In: Proceedings of the DARPA Information Survivability Conference and Exposition, pp. 71\u201379 (June 2000)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Sheyner, O., Haines, J., Jha, S., Lippmann, R., Wing, J.M.: Automated generation and analysis of attack graphs. In: Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA (May 2002)","DOI":"10.1109\/SECPRI.2002.1004377"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-540-30101-1_17","volume-title":"Formal Methods for Components and Objects","author":"O. Sheyner","year":"2004","unstructured":"Sheyner, O., Wing, J.M.: Tools for generating and analyzing attack graphs. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 344\u2013371. Springer, Heidelberg (2004)"},{"key":"7_CR23","unstructured":"Staniford, S., Paxson, V., Weaver, N.: How to own the internet in your spare time. In: Proceedings of the 11th USENIX Security symposium (2002)"},{"issue":"7","key":"7_CR24","first-page":"14","volume":"11","author":"H.F. Zhu","year":"1990","unstructured":"Zhu, H.F.: The methematical models of computer virus infection and methods of prevention. Mini-Micro Systems (Journal of China Computer Society)\u00a011(7), 14\u201321 (1990)","journal-title":"Mini-Micro Systems (Journal of China Computer Society)"},{"key":"7_CR25","unstructured":"Zou, C.C., Towsley, D., Gong, W.: Email virus and worm propagation simulation. In: 13th International conference on Computers Communications and Networks, Chicago (October 2004)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Intrusion Detection"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11856214_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T21:39:57Z","timestamp":1683581997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11856214_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540397236","9783540397250"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11856214_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}