{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:45:20Z","timestamp":1777891520260,"version":"3.51.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319242484","type":"print"},{"value":"9783319242491","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24249-1_25","type":"book-chapter","created":{"date-parts":[[2015,9,7]],"date-time":"2015-09-07T11:43:15Z","timestamp":1441626195000},"page":"291-299","source":"Crossref","is-referenced-by-count":32,"title":["Sequential and Parallel Attack Tree Modelling"],"prefix":"10.1007","author":[{"given":"Florian","family":"Arnold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dennis","family":"Guck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eble","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,9]]},"reference":[{"key":"25_CR1","unstructured":"Apvrille, L., Roudier, Y.: SysML-Sec: a model-driven environment for developing secure embedded systems. In: SAR-SSI 2013, 8\u00e8me Conf\u00e9rence sur la S\u00e9curit\u00e9 des Architectures R\u00e9seaux et des Syst\u00e8mes d\u2019Information, 16\u201318 Septembre 2013. Mont-de-Marsan, France, Mont-de-Marsan, France, September 2013"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-40793-2_27","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2013","unstructured":"Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-54792-8_16","volume-title":"Principles of Security and Trust","author":"F Arnold","year":"2014","unstructured":"Arnold, F., Hermanns, H., Pulungan, R., Stoelinga, M.: Time-dependent analysis of attacks. In: Abadi, M., Kremer, S. (eds.) POST 2014 (ETAPS 2014). LNCS, vol. 8414, pp. 285\u2013305. Springer, Heidelberg (2014)"},{"key":"25_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/TDSC.2009.45","volume":"7","author":"H Boudali","year":"2010","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Secure Comput. 7(2), 128\u2013143 (2010)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"25_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/9781118445112.stat03763","volume-title":"Use of Decision Support Techniques for Information System Risk Management","author":"DL Buckshaw","year":"2014","unstructured":"Buckshaw, D.L.: Use of Decision Support Techniques for Information System Risk Management. John Wiley Sons Ltd, UK (2014)"},{"key":"25_CR7","unstructured":"Dalton, G., Mills, R., Colombi, J., Raines, R.: Analyzing attack trees using generalized stochastic petri nets. In: Information Assurance Workshop, 2006 IEEE, pp. 116\u2013123, June 2006"},{"issue":"6","key":"25_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/MSP.2004.109","volume":"2","author":"S Evans","year":"2004","unstructured":"Evans, S., Heinbuch, D.V., Kyule, E., Piorkowski, J., Wallner, J.: Risk-based systems security engineering: stopping attacks with intention. IEEE Secur. Priv. 2(6), 59\u201362 (2004)","journal-title":"IEEE Secur. Priv."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Ford, M.D., Keefe, K., LeMay, E., Sanders, W.H., Muehrcke, C.: Implementing the ADVISE security modeling formalism in M\u00f6bius. In: Proceedings of the 43rd International Conference on Dependable Systems and Networks (DSN), pp. 1\u20138 (2013)","DOI":"10.1109\/DSN.2013.6575362"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-45214-0_9","volume-title":"Dependable Computing","author":"V Gupta","year":"2003","unstructured":"Gupta, V., Lam, V., Ramasamy, H.G.V., Sanders, W.H., Singh, S.: Dependability and performance evaluation of intrusion-tolerant server architectures. In: de Lemos, R., Weber, T.S., Camargo Jr., J.B. (eds.) LADC 2003. LNCS, vol. 2847, pp. 81\u2013101. Springer, Heidelberg (2003)"},{"key":"25_CR11","unstructured":"Haas, P.J.: Stochastic petri nets for modelling and simulation. In: Proceeding of the 36th Conference on Winter Simulation, pp. 101\u2013112 (2004)"},{"key":"25_CR12","unstructured":"Ingolds, T.R.: Attack tree-based threat risk analysis. Technical report, Amenaza Technologies Ltd (2013)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1007\/978-3-540-88873-4_8","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"A J\u00fcrgenson","year":"2008","unstructured":"J\u00fcrgenson, A., Willemson, J.: Computing exact outcomes of multi-parameter attack trees. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1036\u20131051. Springer, Heidelberg (2008)"},{"key":"25_CR14","unstructured":"Kordy, B., Pietre-Cambacedes, L., Schweitzer, P.: DAG-based attack and defense modeling: Don\u2019t miss the forest for the attack trees. CoRR, abs\/1303.7397 (2013)"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-25261-7_8","volume-title":"Security and Intelligent Information Systems","author":"B Kordy","year":"2012","unstructured":"Kordy, B., Pouly, M., Schweitzer, P.: Computational aspects of attack\u2013defense trees. In: Bouvry, P., K\u0142opotek, M.A., Lepr\u00e9vost, F., Marciniak, M., Mykowiecka, A., Rybi\u0144ski, H. (eds.) SIIS 2011. LNCS, vol. 7053, pp. 103\u2013116. Springer, Heidelberg (2012)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Kriaa, S., Bouissou, M., Pi\u00e8tre-Cambac\u00e9d\u00e8s, L.: Modeling the stuxnet attack with BDMP: towards more formal risk assessments. In: Proceedings of the 7th International Conference on Risk and Security of Internet and Systems (CRiSIS), pp. 1\u20138, October 2012","DOI":"10.1109\/CRISIS.2012.6378942"},{"key":"25_CR17","volume-title":"Reliability: Probabilistic Models and Statistical Methods","author":"LM Leemis","year":"1995","unstructured":"Leemis, L.M.: Reliability: Probabilistic Models and Statistical Methods. Prentice Hall, Englewood Cliffs (1995)"},{"key":"25_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11734727_17","volume-title":"Information Security and Cryptology - ICISC 2005","author":"S Mauw","year":"2006","unstructured":"Mauw, S., Oostdijk, M.: Foundations of attack trees. In: Won, D.H., Kim, S. (eds.) ICISC 2005. LNCS, vol. 3935, pp. 186\u2013198. Springer, Heidelberg (2006)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"McQueen, M., Boyer, W., Flynn, M., Beitel, G.: Quantitative cyber risk reduction estimation methodology for a small scada control system. In: Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS), vol. 9, p. 226, January 2006","DOI":"10.1109\/HICSS.2006.405"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-319-17016-9_13","volume-title":"Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance","author":"W Pieters","year":"2015","unstructured":"Pieters, W., Davarynejad, M.: Calculating adversarial risk from attack trees: control strength and probabilistic attackers. In: Garcia-Alfaro, J., Herrera-Joancomart\u00ed, J., Lupu, E., Posegga, J., Aldini, A., Martinelli, F., Suri, N. (eds.) DPM\/SETOP\/QASA 2014. LNCS, vol. 8872, pp. 201\u2013215. Springer, Heidelberg (2015)"},{"key":"25_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-14706-7_7","volume-title":"Computer Network Security","author":"L Pi\u00e8tre-Cambac\u00e9d\u00e8s","year":"2010","unstructured":"Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Bouissou, M.: Attack and defense modeling with BDMP. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2010. LNCS, vol. 6258, pp. 86\u2013101. Springer, Heidelberg (2010)"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Bouissou, M.; Beyond attack trees: dynamic security modeling with boolean logic driven markov processes (BDMP). In: Dependable Computing Conference (EDCC), pp. 199\u2013208, April 2010","DOI":"10.1109\/EDCC.2010.32"},{"key":"25_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"WH Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 315\u2013343. Springer, Heidelberg (2001)"},{"key":"25_CR24","unstructured":"Schneier, B.: Attack trees: modeling security threats. Dr. Dobb\u2019s J. 24 (1999)"},{"key":"25_CR25","unstructured":"Sheyner, O., Haines, J., Jha, S., Lippmann, R., Wing, J.: Automated generation and analysis of attack graphs. In: Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002, pp. 273\u2013284 (2002)"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Singh, S., Cukier, M., Sanders, W.H.: Probabilistic validation of an intrusion-tolerant replication system. In: Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN), pp. 615\u2013624 (2003)","DOI":"10.1109\/DSN.2003.1209971"},{"key":"25_CR27","unstructured":"Weiss, J.: A system security engineering process. In: Proceedings of the 14th National Computer Security Conference, vol. 249, October 1991"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24249-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:22:55Z","timestamp":1748611375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24249-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242484","9783319242491"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24249-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}