{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:55:32Z","timestamp":1743065732158,"version":"3.40.3"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319748597"},{"type":"electronic","value":"9783319748603"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-74860-3_1","type":"book-chapter","created":{"date-parts":[[2018,1,18]],"date-time":"2018-01-18T04:34:39Z","timestamp":1516250079000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Graphical Modeling of Security Arguments: Current State and Future Directions"],"prefix":"10.1007","author":[{"given":"Dan","family":"Ionita","sequence":"first","affiliation":[]},{"given":"Margaret","family":"Ford","sequence":"additional","affiliation":[]},{"given":"Alexandr","family":"Vasenev","sequence":"additional","affiliation":[]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,19]]},"reference":[{"key":"1_CR1","unstructured":"Adelard Safety Case Development (ASCAD) Manual, London, UK (2010)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Beel, J., Langer, S.: An exploratory analysis of mind maps. In: Proceedings of the 11th ACM Symposium on Document Engineering, pp. 81\u201384. ACM (2011)","DOI":"10.1145\/2034691.2034709"},{"issue":"3","key":"1_CR3","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/MSP.2006.73","volume":"4","author":"RE Bloomfield","year":"2006","unstructured":"Bloomfield, R.E., Guerra, S., Miller, A., Masera, M., Weinstock, C.B.: International working group on assurance cases (for security). IEEE Secur. Priv. 4(3), 66\u201368 (2006)","journal-title":"IEEE Secur. Priv."},{"issue":"4","key":"1_CR4","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/j.cose.2010.11.003","volume":"30","author":"TD Breaux","year":"2011","unstructured":"Breaux, T.D., Baumer, D.L.: Legally \u201creasonable\u201d security requirements: a 10-year FTC retrospective. Comput. Secur. 30(4), 178\u2013193 (2011)","journal-title":"Comput. Secur."},{"key":"1_CR5","first-page":"3","volume-title":"The Roots of Computer Supported Argument Visualization","author":"S Buckingham Shum","year":"2003","unstructured":"Buckingham Shum, S.: The Roots of Computer Supported Argument Visualization, pp. 3\u201324. Springer, London (2003)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Campbell-Kelly, M.: The History of Mathematical Tables: From Sumer to Spreadsheets. Oxford University Press, Oxford (2003)","DOI":"10.1093\/acprof:oso\/9780198508410.001.0001"},{"key":"1_CR7","volume-title":"Evidence: Using Safety Cases in Industry and Healthcare","author":"GM Cleland","year":"2012","unstructured":"Cleland, G.M., Habli, I., Medhurst, J.: Evidence: Using Safety Cases in Industry and Healthcare. The Health Foundation, London (2012)"},{"issue":"1","key":"1_CR8","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/j.ress.2010.06.027","volume":"96","author":"L Cyra","year":"2011","unstructured":"Cyra, L., G\u00f3rski, J.: Support for argument structures review and assessment. Reliab. Eng. Syst. Saf. 96(1), 26\u201337 (2011). Special Issue on Safecomp 2008","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"1_CR9","unstructured":"Defence standard 00-56 issue 4 (part 1): Safety management requirements for defence systems, July 2007"},{"key":"1_CR10","unstructured":"Emmet, L.: Using claims, arguments and evidence: a pragmatic view-and tool support in ASCE. www.adelard.com"},{"issue":"3","key":"1_CR11","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1057\/palgrave.ivs.9500131","volume":"5","author":"MJ Eppler","year":"2006","unstructured":"Eppler, M.J.: A comparison between concept maps, mind maps, conceptual diagrams, and visual metaphors as complementary tools for knowledge construction and sharing. Inf. Vis. 5(3), 202\u2013210 (2006)","journal-title":"Inf. Vis."},{"key":"1_CR12","unstructured":"Regulation (EU) 2016\/679 of the European Parliament and of the Council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing Directive 95\/46\/EC (General Data Protection Regulation). Off. J. Eur. Union L119\/59, 1\u201388, May 2016. http:\/\/eur-lex.europa.eu\/legal-content\/EN\/TXT\/?uri=OJ:L:2016:119:TOC"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Firesmith, D.G.: Analyzing and specifying reusable security requirements. Technical report DTIC Document (2003)","DOI":"10.21236\/ADA612733"},{"issue":"3","key":"1_CR14","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1207\/s15327051hci0603&4_7","volume":"6","author":"G Fischer","year":"1991","unstructured":"Fischer, G., Lemke, A.C., McCall, R., Morch, A.I.: Making argumentation serve design. Hum.-Comput. Interact. 6(3), 393\u2013419 (1991)","journal-title":"Hum.-Comput. Interact."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Franqueira, V.N.L., Tun, T.T., Yu, Y., Wieringa, R., Nuseibeh, B.: Risk and argument: a risk-based argumentation method for practical security. In: RE, pp. 239\u2013248. IEEE (2011)","DOI":"10.1109\/RE.2011.6051659"},{"key":"1_CR16","unstructured":"Gold, J.: Data breaches and computer hacking: liability & insurance issues. American Bar Association\u2019s Government Law Committee Newsletter Fall (2011)"},{"issue":"3","key":"1_CR17","first-page":"223","volume":"20","author":"J Goodwin","year":"2000","unstructured":"Goodwin, J., Fisher, A.: Wigmore\u2019s chart method. Inf. Logic 20(3), 223\u2013243 (2000)","journal-title":"Inf. Logic"},{"issue":"1","key":"1_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.ress.2004.08.005","volume":"89","author":"J G\u00f3rski","year":"2005","unstructured":"G\u00f3rski, J., Jarz\u0327bowicz, A., Leszczyna, R., Miler, J., Olszewski, M.: Trust case justifying trust in an it solution. Reliab. Eng. Syst. Saf. 89(1), 33\u201347 (2005)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"1","key":"1_CR19","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TSE.2007.70754","volume":"34","author":"C Haley","year":"2008","unstructured":"Haley, C., Laney, R., Moffett, J., Nuseibeh, B.: Security requirements engineering: a framework for representation and analysis. IEEE Trans. Soft. Eng. 34(1), 133\u2013153 (2008)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Haley, C.B., Laney, R., Moffett, J.D., Nuseibeh, B.: Arguing satisfaction of security requirements. In: Integrating Security and Software Engineering: Advances and Future Visions, pp. 16\u201343 (2006)","DOI":"10.4018\/978-1-59904-147-6.ch002"},{"key":"1_CR21","unstructured":"Haley, C.B., Moffett, J.D., Laney, R., Nuseibeh, B.: Arguing security: validating security requirements using structured argumentation. In: Proceedings of Third Symposium on Requirements Engineering for Information Security (SREIS 2005) held in conjunction with the 13th International Requirements Engineering Conference (RE 2005) (2005)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Ionita, D., Bullee, J.W., Wieringa, R.J.: Argumentation-based security requirements elicitation: the next round. In: 2014 IEEE 1st Workshop on Evolving Security and Privacy Requirements Engineering (ESPRE), pp. 7\u201312. Springer, Heidelberg, August 2014","DOI":"10.1109\/ESPRE.2014.6890521"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Ionita, D., Kegel, R., Baltuta, A., Wieringa, R.: Arguesecure: out-of-the-box security risk assessment. In: 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), pp. 74\u201379, September 2016","DOI":"10.1109\/REW.2016.027"},{"key":"1_CR24","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)"},{"key":"1_CR25","volume-title":"Arguing Safety: A Systematic Approach to Managing Safety Cases","author":"TP Kelly","year":"1999","unstructured":"Kelly, T.P.: Arguing Safety: A Systematic Approach to Managing Safety Cases. University of York, York (1999)"},{"issue":"3\u20134","key":"1_CR26","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1207\/s15327051hci0603&4_3","volume":"6","author":"J Lee","year":"1991","unstructured":"Lee, J., Lai, K.Y.: What\u2019s in design rationale? Hum.-Comput. Interact. 6(3\u20134), 251\u2013280 (1991)","journal-title":"Hum.-Comput. Interact."},{"issue":"1","key":"1_CR27","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.eswa.2004.08.003","volume":"28","author":"SH Liao","year":"2005","unstructured":"Liao, S.H.: Expert system methodologies and applications - a decade review from 1995 to 2004. Exp. Syst, Appl. 28(1), 93\u2013103 (2005)","journal-title":"Exp. Syst, Appl."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Maclean, A., Young, R.M., Moran, T.P.: Design rationale: the argument behind the artefact. In: Proceedings of the Computer Human Interaction conference (CHI) (1989)","DOI":"10.1145\/67449.67497"},{"issue":"1","key":"1_CR29","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1002\/tea.3660310109","volume":"31","author":"KM Markham","year":"1994","unstructured":"Markham, K.M., Mintzes, J.J., Jones, M.G.: The concept map as a research and evaluation tool: further evidence of validity. J. Res. Sci. Teach. 31(1), 91\u2013101 (1994)","journal-title":"J. Res. Sci. Teach."},{"key":"1_CR30","unstructured":"Mosier, K.L.: Myths of expert decision making and automated decision aids. In: Naturalistic Decision Making, pp. 319\u2013330 (1997)"},{"issue":"4","key":"1_CR31","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. (TOIS) 8(4), 325\u2013362 (1990)","journal-title":"ACM Trans. Inf. Syst. (TOIS)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Park, J.S., Montrose, B., Froscher, J.N.: Tools for information security assurance arguments. In: Proceedings of the DARPA Information Survivability Conference, DISCEX 2001, vol. 1, pp. 287\u2013296 (2001)","DOI":"10.1109\/DISCEX.2001.932223"},{"issue":"3","key":"1_CR33","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/MCAS.2006.1688199","volume":"6","author":"R Polikar","year":"2006","unstructured":"Polikar, R.: Ensemble based systems in decision making. IEEE Circ. Syst. Mag. 6(3), 21\u201345 (2006)","journal-title":"IEEE Circ. Syst. Mag."},{"key":"1_CR34","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H Prakken","year":"2010","unstructured":"Prakken, H.: An abstract framework for argumentation with structured arguments. Argument Comput. 1, 93\u2013124 (2010)","journal-title":"Argument Comput."},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-40624-9_22","volume-title":"Computational Logic in Multi-Agent Systems","author":"H Prakken","year":"2013","unstructured":"Prakken, H., Ionita, D., Wieringa, R.: Risk assessment as an argumentation game. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds.) CLIMA 2013. LNCS (LNAI), vol. 8143, pp. 357\u2013373. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40624-9_22"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Rowe, J., Levitt, K., Parsons, S., Sklar, E., Applebaum, A., Jalal, S.: Argumentation logic to assist in security administration. In: Proceedings of the 2012 New Security Paradigms Workshop, NSPW 2012, pp. 43\u201352. ACM, New York (2012)","DOI":"10.1145\/2413296.2413301"},{"key":"1_CR37","unstructured":"Rushby, J.: The interpretation and evaluation of assurance cases. SRI International, Menlo Park, CA, USA (2015)"},{"issue":"3","key":"1_CR38","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1207\/s15327051hci1203_2","volume":"12","author":"SJB Shum","year":"1997","unstructured":"Shum, S.J.B., MacLean, A., Bellotti, V.M.E., Hammond, N.V.: Graphical argumentation and design cognition. Hum.-Comput. Interact. 12(3), 267\u2013300 (1997)","journal-title":"Hum.-Comput. Interact."},{"issue":"1","key":"1_CR39","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/s00766-004-0194-4","volume":"10","author":"G Sindre","year":"2005","unstructured":"Sindre, G., Opdahl, A.L.: Eliciting security requirements with misuse cases. Requirements Eng. 10(1), 34\u201344 (2005)","journal-title":"Requirements Eng."},{"key":"1_CR40","volume-title":"An Introduction to Reasoning","author":"S Toulmin","year":"1979","unstructured":"Toulmin, S., Rieke, R., Janik, A.: An Introduction to Reasoning. Macmillan, Basingstoke (1979)"},{"key":"1_CR41","volume-title":"The Uses of Argument","author":"SE Toulmin","year":"1958","unstructured":"Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (1958)"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Yu, Y., Tun, T.T., Tedeschi, A., Franqueira, V.N.L., Nuseibeh, B.: Openargue: supporting argumentation to evolve secure software systems. In: 2011 IEEE 19th International Requirements Engineering Conference, pp. 351\u2013352, August 2011","DOI":"10.1109\/RE.2011.6051671"},{"key":"1_CR43","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.jss.2015.04.065","volume":"106","author":"Y Yu","year":"2015","unstructured":"Yu, Y., Franqueira, V.N.L., Tun, T.T., Wieringa, R., Nuseibeh, B.: Automated analysis of security requirements through risk-based argumentation. J. Syst. Soft. 106, 102\u2013116 (2015)","journal-title":"J. Syst. Soft."}],"container-title":["Lecture Notes in Computer Science","Graphical Models for Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74860-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:59:01Z","timestamp":1570615141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74860-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319748597","9783319748603"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74860-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}