{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:41:35Z","timestamp":1783701695970,"version":"3.55.0"},"reference-count":17,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2014,2,1]]},"DOI":"10.1093\/logcom\/exs029","type":"journal-article","created":{"date-parts":[[2012,6,23]],"date-time":"2012-06-23T00:59:01Z","timestamp":1340413141000},"page":"55-87","source":"Crossref","is-referenced-by-count":144,"title":["Attack-defense trees"],"prefix":"10.1093","volume":"24","author":[{"given":"B.","family":"Kordy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Mauw","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Radomirovic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Schweitzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2012,6,21]]},"reference":[{"key":"2_42895570","first-page":"60","volume":"6415","year":"2010","journal-title":"ISOLA"},{"key":"5_42895571","first-page":"176","volume":"6156","year":"2010","journal-title":"PROFES"},{"key":"6_42895403","first-page":"1","volume":"3","year":"2012","journal-title":"INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING IJSSE"},{"key":"7_42895572","first-page":"1","volume":"4691","year":"2006","journal-title":"FAST"},{"key":"8_42895405","first-page":"121","volume":"197","year":"2008","journal-title":"ENTCS"},{"key":"14_42895406","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1006\/jsco.1993.1046","volume":"16","year":"1993","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"},{"key":"15_42895407","first-page":"1036","volume":"5332","year":"2008","journal-title":"OTM CONFERENCES"},{"key":"16_42895574","first-page":"245","volume":"6442","year":"2010","journal-title":"GAMESEC"},{"key":"17_42895575","first-page":"80","volume":"6561","year":"2010","journal-title":"FAST"},{"key":"18_42895576","first-page":"103","volume":"7053","year":"2011","journal-title":"SECURITY INTELLIGENT INFORMATION SYSTEMS"},{"key":"21_42895577","first-page":"186","volume":"3935","year":"2005","journal-title":"ICISC"},{"key":"26_42895412","first-page":"61","volume":"5758","year":"2009","journal-title":"RAID"},{"key":"28_42895413","first-page":"124","volume":"23","year":"2008","journal-title":"JOURNAL OF COMPUTING SMALL COLLEGES"},{"key":"29_42895414","first-page":"21","volume":"24","year":"1999","journal-title":"DR DOBBS JOURNAL OF SOFTWARE TOOLS"},{"key":"30_33715859","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","year":"1924","journal-title":"MATHEMATISCHE ANNALEN"},{"key":"34_42895579","first-page":"118","volume":"5984","year":"2010","journal-title":"ICISC"},{"key":"35_42895416","doi-asserted-by":"crossref","first-page":"2933","DOI":"10.1016\/j.ins.2005.08.004","volume":"176","year":"2006","journal-title":"Information Sciences (New York)","ISSN":"https:\/\/id.crossref.org\/issn\/0020-0255","issn-type":"print"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/24\/1\/55\/3749013\/exs029.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T18:07:48Z","timestamp":1503511668000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,21]]},"references-count":17,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2014,1,15]]},"published-print":{"date-parts":[[2014,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs029","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,21]]}}}