{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:09:23Z","timestamp":1742965763005,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030154646"},{"type":"electronic","value":"9783030154653"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-15465-3_5","type":"book-chapter","created":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T04:02:37Z","timestamp":1553918557000},"page":"71-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On Linear Logic, Functional Programming, and Attack Trees"],"prefix":"10.1007","author":[{"given":"Harley","family":"Eades III","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaming","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aubrey","family":"Bryant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,31]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Camtepe, S.A., Yener, B.: Modeling and detection of complex attacks. In: Security and Privacy in Communications Networks, pp. 234\u2013243, September 2007","DOI":"10.1109\/SECCOM.2007.4550338"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1988042.1988046","volume":"46","author":"K Claessen","year":"2011","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. SIGPLAN Not. 46(4), 53\u201364 (2011)","journal-title":"SIGPLAN Not."},{"key":"5_CR3","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u0131-Oliet, N., Meseguer, J., Talcott, C.: Maude manual (version 2.1). SRI International, Menlo Park (2005)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-319-74860-3_9","volume-title":"Graphical Models for Security","author":"O Gadyatskaya","year":"2018","unstructured":"Gadyatskaya, O., Trujillo-Rasua, R.: New directions in attack tree research: catching up with industrial needs. In: Liu, P., Mauw, S., St\u00f8len, K. (eds.) GraMSec 2017. LNCS, vol. 10744, pp. 115\u2013126. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-74860-3_9"},{"issue":"1\u20132","key":"5_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.3233\/FI-2017-1531","volume":"153","author":"R Horne","year":"2017","unstructured":"Horne, R., Mauw, S., Tiu, A.: Semantics for specialising attack trees based on linear logic. Fundam. Inform. 153(1\u20132), 57\u201386 (2017)","journal-title":"Fundam. Inform."},{"key":"5_CR6","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-18467-8_23","volume-title":"ICT Systems Security and Privacy Protection","author":"R Jhawar","year":"2015","unstructured":"Jhawar, R., Kordy, B., Mauw, S., Radomirovi\u0107, S., Trujillo-Rasua, R.: Attack trees with sequential conjunction. In: Federrath, H., Gollmann, D. (eds.) SEC 2015. IAICT, vol. 455, pp. 339\u2013353. Springer, Cham (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-319-18467-8_23"},{"key":"5_CR7","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"SP Jones","year":"2003","unstructured":"Jones, S.P.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"5_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-319-54876-0_8","volume-title":"CRiSIS 2016","author":"B Kordy","year":"2017","unstructured":"Kordy, B., Kordy, P., van den Boom, Y.: SPTool - equivalence checker for SAND attack trees. In: Cuppens, F., Cuppens, N., Lanet, J.-L., Legay, A. (eds.) CRiSIS 2016. LNCS, vol. 10158, pp. 105\u2013113. Springer, Cham (2017). \n                    https:\/\/doi.org\/10.1007\/978-3-319-54876-0_8"},{"key":"5_CR9","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. 6561, pp. 80\u201395. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-19751-2_6"},{"key":"5_CR10","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). \n                    https:\/\/doi.org\/10.1007\/978-3-642-25261-7_8"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-319-10181-1_16","volume-title":"Integrated Formal Methods","author":"B Kordy","year":"2014","unstructured":"Kordy, B., Pouly, M., Schweitzer, P.: A probabilistic framework for security scenarios with dependent actions. In: Albert, E., Sekerinski, E. (eds.) IFM 2014. LNCS, vol. 8739, pp. 256\u2013271. Springer, Cham (2014). \n                    https:\/\/doi.org\/10.1007\/978-3-319-10181-1_16"},{"key":"5_CR12","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). \n                    https:\/\/doi.org\/10.1007\/11734727_17"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"McDermott, J.P.: Attack net penetration testing. In: Proceedings of the 2000 Workshop on New Security Paradigms, NSPW 2000, pp. 15\u201321. ACM, New York (2000)","DOI":"10.1145\/366173.366183"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Norell, U.: Dependently typed programming in AGDA. In: Proceedings of the 4th International Workshop on Types in Language Design and Implementation, TLDI 2009, pp. 1\u20132. ACM, New York (2009)","DOI":"10.1145\/1481861.1481862"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., ouissou, M.: Beyond attack trees: dynamic security modeling with Boolean logic driven Markov processes (BDMP). In: 2010 European on Dependable Computing Conference (EDCC), pp. 199\u2013208, April 2010","DOI":"10.1109\/EDCC.2010.32"},{"key":"5_CR16","first-page":"21","volume":"24","author":"B Schneier","year":"1999","unstructured":"Schneier, B.: Attack trees: modeling security threats. Dr. Dobb\u2019s J. 24, 21\u201329 (1999)","journal-title":"Dr. Dobb\u2019s J."},{"issue":"9","key":"5_CR17","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/2692915.2628161","volume":"49","author":"N Vazou","year":"2014","unstructured":"Vazou, N., Seidel, E.L., Jhala, R., Vytiniotis, D., Peyton-Jones, S.: Refinement types for haskell. SIGPLAN Not. 49(9), 269\u2013282 (2014)","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Graphical Models for Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-15465-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T08:35:22Z","timestamp":1558341322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-15465-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030154646","9783030154653"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-15465-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"31 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"GraMSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Graphical Models for Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oxford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"gramsec2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.gramsec.uni.lu\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}