{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T03:28:05Z","timestamp":1778210885094,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642414756","type":"print"},{"value":"9783642414763","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41476-3_11","type":"book-chapter","created":{"date-parts":[[2013,9,22]],"date-time":"2013-09-22T21:30:06Z","timestamp":1379885406000},"page":"128-139","source":"Crossref","is-referenced-by-count":10,"title":["Petri Net Modelling of Physical Vulnerability"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Flammini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Journal of physical security, \n                  \n                    http:\/\/jps.anl.gov\/"},{"key":"11_CR2","unstructured":"A risk assessment methodology for physical security. White paper. Technical report, SANDIA National Laboratories (2008)"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/288197.581193","volume":"26","author":"M. Ajmone Marsan","year":"1998","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic petri nets. SIGMETRICS Perform. Eval. Rev.\u00a026, 2 (1998)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"11_CR4","unstructured":"Baker, G.H.: A vulnerability assessment methodology for critical infrastructure sites. In: DHS Symposium: Rand D Partnerships in Homeland Security (2005)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-24270-0_2","volume-title":"Computer Safety, Reliability, and Security","author":"S. Bernardi","year":"2011","unstructured":"Bernardi, S., Flammini, F., Marrone, S., Merseguer, J., Papa, C., Vittorini, V.: Model-driven availability evaluation of railway control systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 15\u201328. Springer, Heidelberg (2011)"},{"key":"11_CR6","unstructured":"Broder, J.F.: Risk Analysis and the Security Survey. Butterworth-Heinemann (2006)"},{"issue":"2","key":"11_CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.3233\/JCS-2007-15201","volume":"15","author":"V. Casola","year":"2007","unstructured":"Casola, V., Mazzeo, A., Mazzocca, N., Vittorini, V.: A policy-based methodology for security evaluation: A security metric for public key infrastructures. Journal of Computer Security\u00a015(2), 197\u2013229 (2007)","journal-title":"Journal of Computer Security"},{"issue":"1","key":"11_CR8","first-page":"150","volume":"11","author":"V. Casola","year":"2005","unstructured":"Casola, V., Preziosi, R., Rak, M., Troiano, L.: A reference model for security level evaluation: Policy and fuzzy techniques. Journal of Universal Computer Science\u00a011(1), 150\u2013174 (2005)","journal-title":"Journal of Universal Computer Science"},{"key":"11_CR9","unstructured":"Risk\u00a0Steering Committee. DHS risk lexicon, \n                  \n                    http:\/\/www.dhs.gov\/xlibrary\/assets\/dhs_risk_lexicon.pdf"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-03552-4_16","volume-title":"Critical Information Infrastructure Security","author":"F. Flammini","year":"2009","unstructured":"Flammini, F., Gaglione, A., Mazzocca, N., Pragliola, C.: Quantitative security risk assessment and management for railway transportation infrastructures. In: Setola, R., Geretshuber, S. (eds.) CRITIS 2008. LNCS, vol.\u00a05508, pp. 180\u2013189. Springer, Heidelberg (2009)"},{"key":"11_CR11","unstructured":"Garcia, M.L.: Vulnerability Assessment of Physical Protection Systems. Butterworth-Heinemann (2005)"},{"issue":"9","key":"11_CR12","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/MAES.2007.4350253","volume":"22","author":"B. Hennessey","year":"2007","unstructured":"Hennessey, B., Wesson, R.B., Norman, B.: Security simulation for vulnerability assessment. IEEE Aerospace and Electronic Systems Magazine\u00a022(9), 11\u201316 (2007)","journal-title":"IEEE Aerospace and Electronic Systems Magazine"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Cox Jr., L.A.: Some limitations of risk = threat x vulnerability x consequence for risk analysis of terrorist attacks. Risk Analysis\u00a028(6) (2008)","DOI":"10.1111\/j.1539-6924.2008.01142.x"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Lewis, T.G., Darken, R.P., Mackin, T., Dudenhoeffer, D.: Model-Based Risk Analysis for Critical Infrastructures. Critical Infrastructure Security - WIT Press (2011)","DOI":"10.2495\/978-1-84564-562-5\/01"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TDSC.2004.11","volume":"1","author":"D.M. Nicol","year":"2004","unstructured":"Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: From dependability to security. IEEE Trans. Dependable Secur. Comput.\u00a01, 48\u201365 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"11_CR16","volume-title":"Proceedings of the 37th HICSS 2004 - Track 2","author":"S.M. Rinaldi","year":"2004","unstructured":"Rinaldi, S.M.: Modeling and simulating critical infrastructures and their interdependencies. In: Proceedings of the 37th HICSS 2004 - Track 2, vol.\u00a02. IEEE Computer Society, Washington, DC (2004)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Sallhammar, K.: Stochastic Models for Combined Security and Dependability Evaluation. PhD thesis, Norwegian University of Science and Technology (2007)","DOI":"10.1109\/ARES.2006.137"},{"key":"11_CR18","unstructured":"Taylor, M.E., Kiekintveld, C., Western, C., Tambe, M.: A framework for evaluating deployed security systems: Is there a chink in your armor? Informatica\u00a034 (2010), Special Issue on Quantitative Risk Analysis Techniques for Security Applications"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-44499-8_24","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2000","author":"S.H. Weingart","year":"2000","unstructured":"Weingart, S.H.: Physical security devices for computer subsystems: A survey of attacks and defenses. In: Paar, C., Ko\u00e7, \u00c7.K. (eds.) CHES 2000. LNCS, vol.\u00a01965, pp. 302\u2013317. Springer, Heidelberg (2000)"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-46429-8_14","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"A. Zimmermann","year":"2000","unstructured":"Zimmermann, A., Freiheit, J., German, R., Hommel, G.: Petri net modelling and performability evaluation with timeNET 3.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 188\u2013202. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Critical Information Infrastructure Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41476-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T09:16:14Z","timestamp":1558084574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41476-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642414756","9783642414763"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41476-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}