{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T04:15:23Z","timestamp":1749701723217,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319486734"},{"type":"electronic","value":"9783319486741"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48674-1_7","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T04:00:37Z","timestamp":1477886437000},"page":"71-82","source":"Crossref","is-referenced-by-count":2,"title":["Automated Vulnerability Modeling and Verification for Penetration Testing Using Petri Nets"],"prefix":"10.1007","author":[{"given":"Junchao","family":"Luan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingfu","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"issue":"6","key":"7_CR1","first-page":"929","volume":"15","author":"P Guo","year":"2014","unstructured":"Guo, P., Wang, J., Li, B., Lee, S.: A variable threshold-value authentication architecture for wireless mesh networks. J. Internet Technol. 15(6), 929\u2013936 (2014)","journal-title":"J. Internet Technol."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Phillips, C., Swiler, L.P.: A graph-based system for network-vulnerability analysis. In: Proceedings of the Workshop on New Security Paradigms, pp. 71\u201379. ACM (1998)","DOI":"10.1145\/310889.310919"},{"issue":"1","key":"7_CR3","first-page":"171","volume":"16","author":"J Shen","year":"2015","unstructured":"Shen, J., Tan, H., Wang, J., Wang, J., Lee, S.: A novel routing protocol providing good transmission reliability in underwater sensor networks. J. Internet Technol. 16(1), 171\u2013178 (2015)","journal-title":"J. Internet Technol."},{"issue":"4","key":"7_CR4","first-page":"902","volume":"98","author":"M Tinghuai","year":"2015","unstructured":"Tinghuai, M., Jinjuan, Z., Meili, T., Yuan, T., Abdullah, A.-D., Mznah, A.-R., Sungyoung, L.: Social network and tag sources based augmenting collaborative recommender system. IEICE Trans. Inf. Syst. 98(4), 902\u2013910 (2015)","journal-title":"IEICE Trans. Inf. Syst."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"McDermott, J.P.: Attack net penetration testing. In: Proceedings of the Workshop on New Security Paradigms, pp. 15\u201321. ACM (2001)","DOI":"10.1145\/366173.366183"},{"key":"7_CR6","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, pp. 273\u2013284. IEEE (2002)","DOI":"10.1109\/SECPRI.2002.1004377"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Ou, X., Boyer, W.F., McQueen, M.A.: A scalable approach to attack graph generation. In: Proceedings of the 13th ACM Conference on Computer and Communications Security, pp. 336\u2013345. ACM (2006)","DOI":"10.1145\/1180405.1180446"},{"issue":"6","key":"7_CR8","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/MSP.2007.159","volume":"5","author":"M Bishop","year":"2007","unstructured":"Bishop, M.: About penetration testing. IEEE Secur. Priv. 5(6), 84\u201387 (2007)","journal-title":"IEEE Secur. Priv."},{"key":"7_CR9","first-page":"011","volume":"10","author":"Y Yun","year":"2013","unstructured":"Yun, Y., Xishan, X., Zhichang, Q., Xueyang, W.: Attack graph generation algorithm for large-scale network system. J. Comput. Res. Dev. 10, 011 (2013)","journal-title":"J. Comput. Res. Dev."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Qiu, X., Wang, S., Jia, Q., Xia, C., Lv, L.: Automatic generation algorithm of penetration graph in penetration testing. In: Proceedings of the 2014 Ninth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, pp. 531\u2013537. IEEE (2014)","DOI":"10.1109\/3PGCIC.2014.104"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Jha, S., Sheyner, O., Wing, J.: Two formal analyses of attack graphs. In: Proceedings of the 15th IEEE Workshop on Computer Security Foundations, pp. 49\u201363. IEEE (2002)","DOI":"10.1109\/CSFW.2002.1021806"},{"key":"7_CR12","unstructured":"Ou, X., Govindavajhala, S., Appel, A.W.: MulVAL: a logic-based network security analyzer. In: Proceedings of the 14th Conference on USENIX Security Symposium, vol. 14, p. 8. USENIX Association (2005)"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/0-387-24230-9_9","volume-title":"Managing Cyber Threats","author":"S Jajodia","year":"2005","unstructured":"Jajodia, S., Noel, S., O\u2019Berry, B.: Topological analysis of network attack vulnerability. In: Kumar, V., Srivastava, J., Lazarevic, A. (eds.) Managing Cyber Threats, pp. 247\u2013266. Springer, Heidelberg (2005)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11909033_20","volume-title":"Communications and Multimedia Security","author":"I Kotenko","year":"2006","unstructured":"Kotenko, I., Stepashkin, M.: Attack Graph Based Evaluation of Network Security. In: Leitold, H., Markatos, E.P. (eds.) CMS 2006. LNCS, vol. 4237, pp. 216\u2013227. Springer, Heidelberg (2006). doi: 10.1007\/11909033_20"},{"key":"7_CR15","volume-title":"A Hierarchical Network Security Risk Evaluation Approach Based on Multi-goal Attack Graph","author":"F Chen","year":"2009","unstructured":"Chen, F.: A Hierarchical Network Security Risk Evaluation Approach Based on Multi-goal Attack Graph. National university of defense technology, Chang sha (2009)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Noel, S., Jajodia, S., O\u2019Berry, B., Jacobs, M.: Efficient minimum-cost network hardening via exploit dependency graphs. In: Proceedings of the 19th Annual Computer Security Applications Conference, pp. 86\u201395. IEEE (2003)","DOI":"10.1109\/CSAC.2003.1254313"},{"issue":"18","key":"7_CR17","doi-asserted-by":"crossref","first-page":"3812","DOI":"10.1016\/j.comcom.2006.06.018","volume":"29","author":"L Wang","year":"2006","unstructured":"Wang, L., Noel, S., Jajodia, S.: Minimum-cost network hardening using attack graphs. Comput. Commun. 29(18), 3812\u20133824 (2006)","journal-title":"Comput. Commun."},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/j.cose.2012.09.013","volume":"32","author":"S Wang","year":"2013","unstructured":"Wang, S., Zhang, Z., Kadobayashi, Y.: Exploring attack graph for cost-benefit security hardening: a probabilistic approach. Comput. Secur. 32, 158\u2013169 (2013)","journal-title":"Comput. Secur."},{"key":"7_CR19","unstructured":"Wu, D., Lian, Y.-F., Chen, K., Liu, Y.-L.: A security threats identification and analysis method based on attack graph. Jisuanji Xuebao (Chin. J. Comput.), 35(9), 1938\u20131950 (2012)"}],"container-title":["Lecture Notes in Computer Science","Cloud Computing and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48674-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T22:37:13Z","timestamp":1749681433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48674-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319486734","9783319486741"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48674-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}