{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T19:47:31Z","timestamp":1775245651378,"version":"3.50.1"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030018504","type":"print"},{"value":"9783030018511","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01851-1_29","type":"book-chapter","created":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T13:32:37Z","timestamp":1538832757000},"page":"302-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks"],"prefix":"10.1007","author":[{"given":"Toni","family":"Mancini","sequence":"first","affiliation":[]},{"given":"Federico","family":"Mari","sequence":"additional","affiliation":[]},{"given":"Igor","family":"Melatti","sequence":"additional","affiliation":[]},{"given":"Ivano","family":"Salvo","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Tronci","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,7]]},"reference":[{"issue":"10","key":"29_CR1","first-page":"5357","volume":"62","author":"V Alimguzhin","year":"2017","unstructured":"Alimguzhin, V., Mari, F., Melatti, I., Salvo, I., Tronci, E.: Linearizing discrete time hybrid systems. IEEE TAC 62(10), 5357\u20135364 (2017)","journal-title":"IEEE TAC"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Aura, T., Bishop, M ., Sniegowski, D.: Analyzing single-server network inhibition. In: Proceedings of CSFW 2000, p. 108. IEEE (2000)","DOI":"10.1109\/CSFW.2000.856930"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-44810-1_22","volume-title":"Security Protocols","author":"T Aura","year":"2001","unstructured":"Aura, T., Nikander, P., Leiwo, J.: DOS-resistant authentication with client puzzles. In: Christianson, B., Malcolm, J.A., Crispo, B., Roe, M. (eds.) Security Protocols 2000. LNCS, vol. 2133, pp. 170\u2013177. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44810-1_22"},{"issue":"3","key":"29_CR4","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1111\/j.1467-8306.2004.00410.x","volume":"94","author":"RL Church","year":"2004","unstructured":"Church, R.L., Scaparra, M.P., Middleton, R.S.: Identifying critical infrastructure: the median and covering facility interdiction problems. Ann. Assoc. Am. Geogr. 94(3), 491\u2013502 (2004)","journal-title":"Ann. Assoc. Am. Geogr."},{"key":"29_CR5","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)"},{"issue":"1","key":"29_CR6","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.ejcon.2013.02.001","volume":"19","author":"Giuseppe Della Penna","year":"2013","unstructured":"Della Penna, G., Intrigila, B., Magazzeni, D., Melatti, I., Tronci, E.: CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems. Eur. J. Control 19(1), 14\u201336 (2013)","journal-title":"European Journal of Control"},{"key":"29_CR7","unstructured":"Evans, J.: Optimization Algorithms for Networks and Graphs. Routledge (2017)"},{"key":"29_CR8","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-0-387-73742-3_4","volume-title":"Advances in Digital Forensics III","author":"D Ha","year":"2007","unstructured":"Ha, D., Upadhyaya, S., Ngo, H., Pramanik, S., Chinchani, R., Mathew, S.: Insider threat analysis using information-centric modeling. In: Craiger, P., Shenoi, S. (eds.) DigitalForensics 2007. ITIFIP, vol. 242, pp. 55\u201373. Springer, New York (2007). https:\/\/doi.org\/10.1007\/978-0-387-73742-3_4"},{"issue":"3","key":"29_CR9","doi-asserted-by":"publisher","first-page":"1284","DOI":"10.1109\/TSG.2016.2596790","volume":"8","author":"BP Hayes","year":"2017","unstructured":"Hayes, B.P., Melatti, I., Mancini, T., Prodanovic, M., Tronci, E.: Residential demand management using individualised demand aware price policies. IEEE Trans. Smart Grid 8(3), 1284\u20131294 (2017)","journal-title":"IEEE Trans. Smart Grid"},{"key":"29_CR10","unstructured":"Hoos, H.H., St\u00fctzle, T.: Stochastic Local Search: Foundations and Applications. Elsevier (2004)"},{"key":"29_CR11","unstructured":"The Internet Mapping Project: http:\/\/www.cheswick.com\/ches\/map\/"},{"issue":"2","key":"29_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1111\/j.1467-8667.2005.00419.x","volume":"21","author":"Hyung Seok Jeong","year":"2006","unstructured":"Jeong, H.S., Qiao, J., Abraham, D.M., Lawley, M., Richard, J.-P., Yih, Y.: Minimizing the consequences of intentional attack on water infrastructure. Comp.-Aided Civil Infrastructure Eng. 21, 79\u201392 (2006)","journal-title":"Computer-Aided Civil and Infrastructure Engineering"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Korkmaz, T., Krunz, M.: Multi-constrained optimal path selection. In: Proceedings of INFOCOM 2001, pp. 834\u2013843 (2001)","DOI":"10.1109\/INFCOM.2001.916274"},{"issue":"6","key":"29_CR14","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1016\/0305-0548(92)90001-L","volume":"19","author":"Y Lin","year":"1992","unstructured":"Lin, Y., Austin, L.M., Burns, J.R.: An intelligent algorithm for mixed-integer programming models. Comp. Oper. Res. 19(6), 461\u2013468 (1992)","journal-title":"Comp. Oper. Res."},{"issue":"1\u20132","key":"29_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.3233\/FI-2016-1443","volume":"149","author":"T Mancini","year":"2016","unstructured":"Mancini, T.: Now or Never: negotiating efficiently with unknown or untrusted counterparts. Fundam. Inform. 149(1\u20132), 61\u2013100 (2016)","journal-title":"Fundam. Inform."},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Mancini, T., Flener, P., Pearson, J.: Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. In: Proceedings of SAC 2012. ACM (2012)","DOI":"10.1145\/2245276.2245295"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-39799-8_21","volume-title":"Computer Aided Verification","author":"T Mancini","year":"2013","unstructured":"Mancini, T., Mari, F., Massini, A., Melatti, I., Merli, F., Tronci, E.: System level formal verification via model checking driven simulation. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 296\u2013312. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_21"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Mancini, T., et al.: Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction. In: Proceedings of RCRA 2018 (2018)","DOI":"10.29007\/g864"},{"key":"29_CR19","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1016\/j.ipl.2017.02.001","volume":"122","author":"T Mancini","year":"2017","unstructured":"Mancini, T., Mari, F., Massini, A., Melatti, I., Salvo, I., Tronci, E.: On minimising the maximum expected verification time. IPL 122, 8\u201316 (2017)","journal-title":"IPL"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Mancini, T., Mari, F., Massini, A., Melatti, I., Tronci, E.: Anytime system level verification via random exhaustive hardware in the loop simulation. In: Proceedings of DSD 2014. IEEE (2014)","DOI":"10.1109\/DSD.2014.91"},{"key":"29_CR21","doi-asserted-by":"crossref","unstructured":"Mancini, T., Mari, F., Massini, A., Melatti, I., Tronci, E.: System level formal verification via distributed multi-core hardware in the loop simulation. In: Proceedings of PDP 2014. IEEE (2014)","DOI":"10.1109\/PDP.2014.32"},{"key":"29_CR22","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.micpro.2015.10.010","volume":"41","author":"T Mancini","year":"2016","unstructured":"Mancini, T., Mari, F., Massini, A., Melatti, I., Tronci, E.: Anytime system level verification via parallel random exhaustive hardware in the loop simulation. Microprocess. Microsyst. 41, 12\u201328 (2016)","journal-title":"Microprocess. Microsyst."},{"issue":"1\u20132","key":"29_CR23","doi-asserted-by":"publisher","first-page":"101","DOI":"10.3233\/FI-2016-1444","volume":"149","author":"T Mancini","year":"2016","unstructured":"Mancini, T., Mari, F., Massini, A., Melatti, I., Tronci, E.: SyLVaaS: system level formal verification as a service. Fundam. Inform. 149(1\u20132), 101\u2013132 (2016)","journal-title":"Fundam. Inform."},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"Mancini, T., et al.: Demand-aware price policy synthesis and verification services for smart grids. In: Proceedings of SmartGridComm 2014. IEEE (2014)","DOI":"10.1109\/SmartGridComm.2014.7007745"},{"key":"29_CR25","doi-asserted-by":"crossref","unstructured":"Mancini, T., et al.: Parallel statistical model checking for safety verification in smart grids. In: Proceedings of SmartGridComm 2018. IEEE (2018)","DOI":"10.1109\/SmartGridComm.2018.8587416"},{"key":"29_CR26","doi-asserted-by":"crossref","unstructured":"Mancini, T., et al.: User flexibility aware price policy synthesis for smart grids. In: Proceedings of DSD 2015. IEEE (2015)","DOI":"10.1109\/DSD.2015.35"},{"key":"29_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/978-3-319-16480-9_52","volume-title":"Bioinformatics and Biomedical Engineering","author":"T Mancini","year":"2015","unstructured":"Mancini, T., Tronci, E., Salvo, I., Mari, F., Massini, A., Melatti, I.: Computing biological model parameters by parallel statistical model checking. In: Ortu\u00f1o, F., Rojas, I. (eds.) IWBBIO 2015. LNCS, vol. 9044, pp. 542\u2013554. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16480-9_52"},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"Mancini, T., et al.: Optimal fault-tolerant placement of relay nodes in a mission critical wireless network. In: Proceedings of RCRA 2018 (2018)","DOI":"10.29007\/grw9"},{"issue":"1","key":"29_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2559934","volume":"23","author":"Federico Mari","year":"2014","unstructured":"Mari, F., Melatti, I., Salvo, I., Tronci, E.: Model based synthesis of control software from system level formal specifications. ACM TOSEM 23(1), 6 (2014)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"29_CR30","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-10575-8_9","volume-title":"Handbook of Model Checking","author":"J Marques-Silva","year":"2018","unstructured":"Marques-Silva, J., Malik, S.: Propositional SAT solving. Handbook of Model Checking, pp. 247\u2013275. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_9"},{"key":"29_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-07153-4_7-1","volume-title":"Handbook of Heuristics","author":"L Michel","year":"2017","unstructured":"Michel, L., Van Hentenryck, P.: Constraint-based local search. In: Mart\u00ed, R., Panos, P., Resende, M. (eds.) Handbook of Heuristics, pp. 1\u201338. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-07153-4_7-1"},{"issue":"1","key":"29_CR32","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.tele.2011.05.001","volume":"29","author":"AT Murray","year":"2012","unstructured":"Murray, A.T., Grubesic, T.H.: Critical infrastructure protection: the vulnerability conundrum. Telemat. Inf. 29(1), 56\u201365 (2012)","journal-title":"Telemat. Inf."},{"key":"29_CR33","doi-asserted-by":"crossref","unstructured":"Phillips, C., Painton Swiler, L.: A graph-based system for network-vulnerability analysis. In: Proceedings of NSPW 1998, pp. 71\u201379. ACM (1998)","DOI":"10.1145\/310889.310919"},{"key":"29_CR34","doi-asserted-by":"crossref","unstructured":"Phillips, C.A.: The network inhibition problem. In: Proceedings of STOC 1993, pp. 776\u2013785. ACM (1993)","DOI":"10.1145\/167088.167286"},{"issue":"11","key":"29_CR35","doi-asserted-by":"publisher","first-page":"2677","DOI":"10.1016\/j.cor.2013.05.002","volume":"40","author":"S Shen","year":"2013","unstructured":"Shen, S.: Optimizing designs and operations of a single network or multiple interdependent infrastructures under stochastic arc disruption. Comput. Oper. Res. 40(11), 2677\u20132688 (2013)","journal-title":"Comput. Oper. Res."},{"key":"29_CR36","doi-asserted-by":"publisher","first-page":"1949","DOI":"10.1007\/978-1-4419-7997-1_61","volume-title":"Handbook of Combinatorial Optimization","author":"JC Smith","year":"2013","unstructured":"Smith, J.C., Prince, M., Geunes, J.: Modern network interdiction problems and\u00a0algorithms. In: Pardalos, P.M., Du, D.-Z., Graham, R.L. (eds.) Handbook of Combinatorial Optimization, pp. 1949\u20131987. Springer, New York (2013). https:\/\/doi.org\/10.1007\/978-1-4419-7997-1_61"},{"issue":"6","key":"29_CR37","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/s10951-015-0418-0","volume":"18","author":"B Tadayon","year":"2015","unstructured":"Tadayon, B., Smith, J.C.: Algorithms and complexity analysis for robust single-machine scheduling problems. J. Scheduling 18(6), 575\u2013592 (2015)","journal-title":"J. Scheduling"},{"key":"29_CR38","doi-asserted-by":"crossref","unstructured":"Tronci, E., et al.: Patient-specific models from inter-patient biological models and clinical records. In Proceedings of FMCAD 2014. IEEE (2014)","DOI":"10.1109\/FMCAD.2014.6987615"},{"issue":"2","key":"29_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0895-7177(93)90236-R","volume":"17","author":"RK Wood","year":"1993","unstructured":"Wood, R.K.: Deterministic network interdiction. Math. Comp. Mod. 17(2), 1\u201318 (1993)","journal-title":"Math. Comp. Mod."},{"issue":"5","key":"29_CR40","doi-asserted-by":"publisher","first-page":"1174","DOI":"10.1109\/TCSI.2006.869907","volume":"53","author":"Y Xiao","year":"2006","unstructured":"Xiao, Y., Thulasiraman, K., Xue, G.: Constrained shortest link-disjoint paths selection: a network programming based approach. IEEE Trans. Circ. Sys. 53(5), 1174\u20131187 (2006)","journal-title":"IEEE Trans. Circ. Sys."}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01851-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T18:48:20Z","timestamp":1775242100000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-01851-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030018504","9783030018511"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01851-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISMIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Methodologies for Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ismis2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/cyprusconferences.org\/ismis2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}