{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T09:15:05Z","timestamp":1769159705751,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642376818","type":"print"},{"value":"9783642376825","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37682-5_5","type":"book-chapter","created":{"date-parts":[[2013,4,3]],"date-time":"2013-04-03T01:48:15Z","timestamp":1364953695000},"page":"49-64","source":"Crossref","is-referenced-by-count":19,"title":["Quantitative Questions on Attack\u2013Defense Trees"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Kordy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Schweitzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-16558-0_8","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"P.A. Abdulla","year":"2010","unstructured":"Abdulla, P.A., Cederberg, J., Kaati, L.: Analyzing the Security in the GSM Radio Network Using Attack Jungles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 60\u201374. Springer, Heidelberg (2010)"},{"key":"5_CR2","unstructured":"Amenaza: SecurITree, http:\/\/www.amenaza.com\/ (accessed October 5, 2012)"},{"key":"5_CR3","volume-title":"Fundamentals of Computer Security Technology","author":"E.G. Amoroso","year":"1994","unstructured":"Amoroso, E.G.: Fundamentals of Computer Security Technology. Prentice-Hall, Inc., Upper Saddle River (1994), http:\/\/portal.acm.org\/citation.cfm?id=179237"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-13792-1_15","volume-title":"Product-Focused Software Process Improvement","author":"D. Baca","year":"2010","unstructured":"Baca, D., Petersen, K.: Prioritizing Countermeasures through the Countermeasure Method for Software Security (CM-Sec). In: Ali Babar, M., Vierimaa, M., Oivo, M. (eds.) PROFES 2010. LNCS, vol.\u00a06156, pp. 176\u2013190. Springer, Heidelberg (2010)"},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jsse.2012040101","volume":"3","author":"A. Bagnato","year":"2012","unstructured":"Bagnato, A., Kordy, B., Meland, P.H., Schweitzer, P.: Attribute Decoration of Attack\u2013Defense Trees. International Journal of Secure Software Engineering (IJSSE)\u00a03(2), 1\u201335 (2012)","journal-title":"International Journal of Secure Software Engineering (IJSSE)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75227-1_1","volume-title":"Formal Aspects in Security and Trust","author":"S. Bistarelli","year":"2007","unstructured":"Bistarelli, S., Dall\u2019Aglio, M., Peretti, P.: Strategic Games on Defense Trees. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol.\u00a04691, pp. 1\u201315. Springer, Heidelberg (2007), http:\/\/www.springerlink.com\/content\/83115122h9007685\/"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11962977_19","volume-title":"Critical Information Infrastructures Security","author":"A. Buldas","year":"2006","unstructured":"Buldas, A., Laud, P., Priisalu, J., Saarepera, M., Willemson, J.: Rational Choice of Security Measures Via Multi-parameter Attack Trees. In: L\u00f3pez, J. (ed.) CRITIS 2006. LNCS, vol.\u00a04347, pp. 235\u2013248. Springer, Heidelberg (2006)"},{"key":"5_CR8","volume-title":"International Infrastructure Survivability Workshop (IISW 2004)","author":"E.J. Byres","year":"2004","unstructured":"Byres, E.J., Franz, M., Miller, D.: The Use of Attack Trees in Assessing Vulnerabilities in SCADA Systems. In: International Infrastructure Survivability Workshop (IISW 2004). Institute of Electrical and Electronics Engineers, Lisbon (2004)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Edge, K.S., Dalton II, G.C., Raines, R.A., Mills, R.F.: Using Attack and Protection Trees to Analyze Threats and Defenses to Homeland Security. In: MILCOM, pp. 1\u20137. IEEE (2006)","DOI":"10.1109\/MILCOM.2006.302512"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Fung, C., Chen, Y.L., Wang, X., Lee, J., Tarquini, R., Anderson, M., Linger, R.: Survivability analysis of distributed systems using attack tree methodology. In: Proceedings of the 2005 IEEE Military Communications Conference, vol.\u00a01, pp. 583\u2013589 (October 2005)","DOI":"10.1109\/MILCOM.2005.1605745"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Henniger, O., Apvrille, L., Fuchs, A., Roudier, Y., Ruddle, A., Weyl, B.: Security requirements for automotive on-board networks. In: 9th International Conference on Intelligent Transport Systems Telecommunications (ITST 2009), Lille, pp. 641\u2013646 (October 2009)","DOI":"10.1109\/ITST.2009.5399279"},{"key":"5_CR12","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.\u00a05332, pp. 1036\u20131051. Springer, Heidelberg (2008)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-642-17197-0_17","volume-title":"Decision and Game Theory for Security","author":"B. Kordy","year":"2010","unstructured":"Kordy, B., Mauw, S., Melissen, M., Schweitzer, P.: Attack\u2013Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. In: Alpcan, T., Butty\u00e1n, L., Baras, J.S. (eds.) GameSec 2010. LNCS, vol.\u00a06442, pp. 245\u2013256. Springer, Heidelberg (2010)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-19751-2_6","volume-title":"Formal Aspects of Security and Trust","author":"B. Kordy","year":"2011","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Foundations of Attack\u2013Defense Trees. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol.\u00a06561, pp. 80\u201395. Springer, Heidelberg (2011)"},{"key":"5_CR15","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Attack\u2013Defense Trees. Journal of Logic and Computation, 1\u201333 (2012), http:\/\/logcom.oxfordjournals.org\/content\/early\/2012\/06\/21\/logcom.exs029.short?rss=1"},{"key":"5_CR16","unstructured":"Kordy, B., Mauw, S., Schweitzer, P.: Quantitative Questions on Attack\u2013Defense Trees. arXiv (2012), http:\/\/arxiv.org\/abs\/1210.8092"},{"key":"5_CR17","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.\u00a07053, pp. 103\u2013116. Springer, Heidelberg (2012)"},{"key":"5_CR18","unstructured":"Kordy, P., Schweitzer, P.: The ADTool, http:\/\/satoss.uni.lu\/members\/piotr\/adtool\/index.php (accessed October 12, 2012)"},{"issue":"3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/s12209-009-0029-y","volume":"15","author":"X. Li","year":"2009","unstructured":"Li, X., Liu, R., Feng, Z., He, K.: Threat modeling-oriented attack path evaluating algorithm. Transactions of Tianjin University\u00a015(3), 162\u2013167 (2009), http:\/\/www.springerlink.com\/content\/v76g872558787214\/","journal-title":"Transactions of Tianjin University"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Manikas, T.W., Thornton, M.A., Feinstein, D.Y.: Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities. In: 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), pp. 263\u2013267 (2011)","DOI":"10.1109\/ISMVL.2011.12"},{"key":"5_CR21","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., Kim, S. (eds.) ICISC 2005. LNCS, vol.\u00a03935, pp. 186\u2013198. Springer, Heidelberg (2006), http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.97.1056"},{"key":"5_CR22","first-page":"199","volume-title":"European Dependable Computing Conference","author":"L. Pi\u00e8tre-Cambac\u00e9d\u00e8s","year":"2010","unstructured":"Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Bouissou, M.: Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP). In: European Dependable Computing Conference, pp. 199\u2013208. IEEE Computer Society, Los Alamitos (2010)"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1852666.1852698","volume-title":"Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research, CSIIRW 2010","author":"A. Roy","year":"2010","unstructured":"Roy, A., Kim, D.S., Trivedi, K.S.: Cyber security analysis using attack countermeasure trees. In: Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research (CSIIRW 2010), pp. 28:1\u201328:4. ACM, New York (2010), http:\/\/doi.acm.org.proxy.bnl.lu\/10.1145\/1852666.1852698"},{"issue":"8","key":"5_CR24","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1002\/sec.299","volume":"5","author":"A. Roy","year":"2012","unstructured":"Roy, A., Kim, D.S., Trivedi, K.S.: Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees. Security and Communication Networks\u00a05(8), 929\u2013943 (2012), http:\/\/dx.doi.org\/10.1002\/sec.299","journal-title":"Security and Communication Networks"},{"issue":"4","key":"5_CR25","first-page":"124","volume":"23","author":"V. Saini","year":"2008","unstructured":"Saini, V., Duan, Q., Paruchuri, V.: Threat Modeling Using Attack Trees. J. Computing Small Colleges\u00a023(4), 124\u2013131 (2008), http:\/\/portal.acm.org\/citation.cfm?id=1352100","journal-title":"J. Computing Small Colleges"},{"issue":"12","key":"5_CR26","first-page":"21","volume":"24","author":"B. Schneier","year":"1999","unstructured":"Schneier, B.: Attack Trees. Dr. Dobb\u2019s Journal of Software Tools\u00a024(12), 21\u201329 (1999), http:\/\/www.ddj.com\/security\/184414879","journal-title":"Dr. Dobb\u2019s Journal of Software Tools"},{"key":"5_CR27","unstructured":"Tanu, E., Arreymbi, J.: An examination of the security implications of the supervisory control and data acquisition (SCADA) system in a mobile networked environment: An augmented vulnerability tree approach. In: Proceedings of Advances in Computing and Technology (AC&T) The School of Computing and Technology 5th Annual Conference. pp. 228\u2013242. University of East London, School of Computing, Information Technology and Engineering (2010), http:\/\/hdl.handle.net\/10552\/994"},{"issue":"1","key":"5_CR28","doi-asserted-by":"crossref","first-page":"20","DOI":"10.20533\/ijisr.2042.4639.2011.0003","volume":"1","author":"J. Wang","year":"2011","unstructured":"Wang, J., Whitley, J.N., Phan, R.C.W., Parish, D.J.: Unified Parametrizable Attack Tree. International Journal for Information Security Research\u00a01(1), 20\u201326 (2011), http:\/\/www.infonomics-society.org\/IJISR\/Unified%20Parametrizable%20Attack%20Tree.pdf","journal-title":"International Journal for Information Security Research"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-14423-3_9","volume-title":"Information, Security and Cryptology \u2013 ICISC 2009","author":"A. J\u00fcrgenson","year":"2010","unstructured":"J\u00fcrgenson, A., Willemson, J.: Serial Model for Attack Tree Computations. In: Lee, D., Hong, S. (eds.) ICISC 2009. LNCS, vol.\u00a05984, pp. 118\u2013128. Springer, Heidelberg (2010), http:\/\/research.cyber.ee\/~jan\/publ\/serialattack.pdf"},{"issue":"20","key":"5_CR30","doi-asserted-by":"publisher","first-page":"2933","DOI":"10.1016\/j.ins.2005.08.004","volume":"176","author":"R.R. Yager","year":"2006","unstructured":"Yager, R.R.: OWA trees and their role in security modeling using attack trees. Inf. Sci.\u00a0176(20), 2933\u20132959 (2006)","journal-title":"Inf. Sci."}],"container-title":["Lecture Notes in Computer Science","Information Security and Cryptology \u2013 ICISC 2012"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37682-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T02:57:43Z","timestamp":1745981863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37682-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642376818","9783642376825"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37682-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}