{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:57:09Z","timestamp":1725987429610},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11767138_4","type":"book-chapter","created":{"date-parts":[[2006,7,28]],"date-time":"2006-07-28T10:32:54Z","timestamp":1154082774000},"page":"33-47","source":"Crossref","is-referenced-by-count":24,"title":["Designing Security Requirements Models Through Planning"],"prefix":"10.1007","author":[{"given":"Volha","family":"Bryl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Massacci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Zannone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Axelrod, R.: The Evolution of Cooperation. Basic Books, New York (1984)"},{"issue":"1-2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A. Blum","year":"1997","unstructured":"Blum, A., Furst, M.L.: Fast Planning Through Planning Graph Analysis. Artif. Intell.\u00a090(1-2), 281\u2013300 (1997)","journal-title":"Artif. Intell."},{"key":"4_CR3","unstructured":"Bryl, V., Giorgini, P., Mylopoulos, J.: Requirements Analysis for Socio-technical Systems: Exploring and Evaluating Alternatives. In: RE 2006 (Submitted, 2006)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N.: Designing Security Requirements Models through Planning. Technical Report DIT-06-003, University of Trento (2006)","DOI":"10.1007\/11767138_4"},{"key":"4_CR5","first-page":"10","volume-title":"Proc. of ASE 1997","author":"J. Caldwell","year":"1997","unstructured":"Caldwell, J.: Moving Proofs-as-Programs into Practice. In: Proc. of ASE 1997, pp. 10\u201317. IEEE Press, Los Alamitos (1997)"},{"key":"4_CR6","unstructured":"Carman, M., Serafini, L., Traverso, P.: Web service composition as planning. In: Proc. of the 2003 Workshop on Planning for Web Services (2003)"},{"issue":"6","key":"4_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0306-4379(02)00012-1","volume":"27","author":"J. Castro","year":"2002","unstructured":"Castro, J., Kolp, M., Mylopoulos, J.: Towards Requirements-Driven Information Systems Engineering: The Tropos Project. Inform. Sys.\u00a027(6), 365\u2013389 (2002)","journal-title":"Inform. Sys."},{"issue":"1-2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo de","year":"2000","unstructured":"de Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell.\u00a0121(1-2), 109\u2013169 (2000)","journal-title":"Artif. Intell."},{"key":"4_CR9","unstructured":"Drucker, P.: Managing the Non-Profit Organization: Principles and Practices. HapperCollins Publishers (1990)"},{"key":"4_CR10","unstructured":"Edelkamp, S., Hoffmann, J.: Pddl2.2: The language for the classical part of the 4th international planning competition. Technical Report 195. University of Freiburg (2004)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Ellman, T.: Specification and Synthesis of Hybrid Automata for Physics-Based Animation. In: Proc. of ASE 2003, pp. 80\u201393 (2003)","DOI":"10.1109\/ASE.2003.1240297"},{"issue":"2","key":"4_CR12","first-page":"277","volume":"11","author":"M.J. Gallivan","year":"2001","unstructured":"Gallivan, M.J.: Striking a balance between trust and control in a virtual organization: a content analysis of open source software case studies. ISJ\u00a011(2), 277 (2001)","journal-title":"ISJ"},{"key":"4_CR13","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"4_CR14","unstructured":"Gans, G., Jarke, M., Kethers, S., Lakemeyer, G.: Modeling the Impact of Trust and Distrust in Agent Networks. In: Proc. of AOIS 2001, pp. 45\u201358 (2001)"},{"key":"4_CR15","unstructured":"Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL \u2013 The Planning Domain Definition Language. In: Proc. of AIPS 1998 (1998)"},{"key":"4_CR16","first-page":"167","volume-title":"Proc. of RE 2005","author":"P. Giorgini","year":"2005","unstructured":"Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling Security Requirements Through Ownership, Permission and Delegation. In: Proc. of RE 2005, pp. 167\u2013176. IEEE Press, Los Alamitos (2005)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/11429760_12","volume-title":"Trust Management","author":"P. Giorgini","year":"2005","unstructured":"Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling Social and Individual Trust in Requirements Engineering Methodologies. In: Herrmann, P., Issarny, V., Shiu, S.C.K. (eds.) iTrust 2005. LNCS, vol.\u00a03477, pp. 161\u2013176. Springer, Heidelberg (2005)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/s00766-005-0023-4","volume":"11","author":"C.B. Haley","year":"2006","unstructured":"Haley, C.B., Laney, R.C., Moffett, J.D., Nuseibeh, B.: Using Trust Assumptions with Security Requirements. Requirements Eng. J.\u00a011, 138\u2013151 (2006)","journal-title":"Requirements Eng. J."},{"key":"4_CR19","first-page":"359","volume-title":"Proc. of ECAI 1992","author":"H. Kautz","year":"1992","unstructured":"Kautz, H., Selman, B.: Planning as satisfiability. In: Proc. of ECAI 1992, pp. 359\u2013363. John Wiley & Sons, Inc., Chichester (1992)"},{"issue":"6","key":"4_CR20","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1041685.1029905","volume":"29","author":"E. Letier","year":"2004","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. ACM SIGSOFT Software Eng. Notes\u00a029(6), 53\u201362 (2004)","journal-title":"ACM SIGSOFT Software Eng. Notes"},{"key":"4_CR21","unstructured":"Luhmann, N.: Trust and Power. Wisley (1979)"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Manna, Z., Waldinger, R.: A Deductive Approach to Program Synthesis. TOPLAS\u00a02(1), 90\u2013121 (1980)","journal-title":"TOPLAS"},{"issue":"5","key":"4_CR23","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/j.csi.2005.01.003","volume":"27","author":"F. Massacci","year":"2005","unstructured":"Massacci, F., Prest, M., Zannone, N.: Using a Security Requirements Engineering Methodology in Practice: The compliance with the Italian Data Protection Legislation. Comp. Standards & Interfaces\u00a027(5), 445\u2013455 (2005)","journal-title":"Comp. Standards & Interfaces"},{"key":"4_CR24","unstructured":"Massacci, F., Zannone, N.: Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank. Technical Report DIT-06-002, University of Trento (2006)"},{"key":"4_CR25","first-page":"1","volume":"20","author":"M. Matskin","year":"2001","unstructured":"Matskin, M., Tyugu, E.: Strategies of Structural Synthesis of Programs and Its Extensions. Comp. and Informatics\u00a020, 1\u201325 (2001)","journal-title":"Comp. and Informatics"},{"key":"4_CR26","first-page":"55","volume-title":"Proc. of ACSAC 1999","author":"J. McDermott","year":"1999","unstructured":"McDermott, J., Fox, C.: Using Abuse Case Models for Security Requirements Analysis. In: Proc. of ACSAC 1999, pp. 55\u201366. IEEE Press, Los Alamitos (1999)"},{"key":"4_CR27","unstructured":"Object Management Group. Model Driven Architecture (MDA) (July 2001), http:\/\/www.omg.org\/docs\/ormsc\/01-07-01.pdf"},{"key":"4_CR28","unstructured":"Peer, J.: Web Service Composition as AI Planning - a Survey. Technical report, University of St. Gallen (2005)"},{"issue":"4","key":"4_CR29","first-page":"393","volume":"12","author":"S. Roach","year":"2005","unstructured":"Roach, S., Baalen, J.: Automated Procedure Construction for Deductive Synthesis. ASE\u00a012(4), 393\u2013414 (2005)","journal-title":"ASE"},{"key":"4_CR30","unstructured":"Runde, R.K., St\u00f8len, K.: What is model driven architecture? Technical Report UIO-IFI-RR304, Department of Informatics, University of Oslo (March 2003)"},{"key":"4_CR31","volume-title":"The Science of the Artificial","author":"H.A. Simon","year":"1969","unstructured":"Simon, H.A.: The Science of the Artificial. MIT Press, Cambridge (1969)"},{"issue":"1","key":"4_CR32","doi-asserted-by":"publisher","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. J.\u00a010(1), 34\u201344 (2005)","journal-title":"Requirements Eng. J."},{"key":"4_CR33","unstructured":"van Lamsweerde, A., Brohez, S., De Landtsheer, R., Janssens, D.: From System Goals to Intruder Anti-Goals: Attack Generation and Resolution for Security Requirements Engineering. In: Proc. of RHAS 2003, pp. 49\u201356 (2003)"},{"issue":"2","key":"4_CR34","first-page":"93","volume":"20","author":"D.S. Weld","year":"1999","unstructured":"Weld, D.S.: Recent Advances in AI Planning. AI Magazine\u00a020(2), 93\u2013123 (1999)","journal-title":"AI Magazine"},{"issue":"6","key":"4_CR35","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1177\/0170840605054594","volume":"26","author":"R.K. Woolthuis","year":"2005","unstructured":"Woolthuis, R.K., Hillebrand, B., Nooteboom, B.: Trust, Contract and Relationship Development. Organization Studies\u00a026(6), 813\u2013840 (2005)","journal-title":"Organization Studies"},{"key":"4_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-45547-7_11","volume-title":"Trust in Cyber-societies","author":"E. Yu","year":"2001","unstructured":"Yu, E., Liu, L.: Modelling Trust for System Design Using the i* Strategic Actors Framework. In: Falcone, R., Singh, M., Tan, Y.-H. (eds.) AA-WS 2000. LNCS, vol.\u00a02246, pp. 175\u2013194. Springer, Heidelberg (2001)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767138_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:21:11Z","timestamp":1555752071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767138_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783319981765","9783319981772"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11767138_4","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2006]]}}}