{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T10:15:49Z","timestamp":1775470549497,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642401954","type":"print"},{"value":"9783642401961","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40196-1_15","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:54:56Z","timestamp":1374530096000},"page":"173-176","source":"Crossref","is-referenced-by-count":71,"title":["ADTool: Security Analysis with Attack\u2013Defense Trees"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Kordy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Kordy","sequence":"additional","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":"15_CR1","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Fioravanti, F., Peretti, P.: Defense Trees for Economic Evaluation of Security Investments. In: ARES 2006, pp. 416\u2013423. IEEE Computer Society (2006)","DOI":"10.1109\/ARES.2006.46"},{"issue":"6","key":"15_CR2","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1002\/spe.713","volume":"36","author":"C. Buchheim","year":"2006","unstructured":"Buchheim, C., J\u00fcnger, M., Leipert, S.: Drawing rooted trees in linear time. Software: Practice and Experience\u00a036(6), 651\u2013665 (2006)","journal-title":"Software: Practice and Experience"},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1644015.1644017","volume":"6","author":"E.D. Demaine","year":"2009","unstructured":"Demaine, E.D., Mozes, S., Rossman, B., Weimann, O.: An Optimal Decomposition Algorithm for Tree Edit Distance. ACM Trans. Algorithms\u00a06(1), 2:1\u20132:19 (2009)","journal-title":"ACM Trans. Algorithms"},{"key":"15_CR4","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":"15_CR5","doi-asserted-by":"crossref","unstructured":"Kordy, B., Kordy, P., Mauw, S., Schweitzer, P.: ADTool: Security Analysis with Attack\u2013Defense Trees (Extended Version). CoRR abs\/1305.6829 (2013)","DOI":"10.1007\/978-3-642-40196-1_15"},{"key":"15_CR6","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Attack\u2013Defense Trees. Journal of Logic and Computation pp. 1\u201333 (2012), \n                    \n                      http:\/\/logcom.oxfordjournals.org\/content\/early\/2012\/06\/21\/logcom.exs029.short?rss=1"},{"key":"15_CR7","unstructured":"Kordy, P., Schweitzer, P.: ADTool (2012), \n                    \n                      http:\/\/satoss.uni.lu\/software\/adtool"},{"key":"15_CR8","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)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40196-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T00:00:29Z","timestamp":1557964829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40196-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401954","9783642401961"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40196-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}