{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:07Z","timestamp":1760586427390},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/3-540-45017-3_7","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T02:27:42Z","timestamp":1187144862000},"page":"63-78","source":"Crossref","is-referenced-by-count":50,"title":["Integrating Security and Systems Engineering: Towards the Modelling of Secure Information Systems"],"prefix":"10.1007","author":[{"given":"Haralambos","family":"Mouratidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Giorgini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon","family":"Manson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"L. Chung, B. Nixon, \u201cDealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach\u201d, Proceedings of the 17th International Conference on Software Engineering, Seattle-USA, 1995","DOI":"10.1145\/225014.225017"},{"key":"7_CR2","unstructured":"I. Sommerville, \u201cSoftware Engineering\u201d, sixth edition, Addison-Wesley, 2001"},{"key":"7_CR3","unstructured":"E. Yu, L. Cysneiros, \u201cDesigning for Privacy and Other Competing Requirements\u201d, 2nd Symposium on Requirements Engineering for Information Security (SREIS\u2019 02), Raleigh, North Carolina, 15\u201316 November, 2002"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"A. Dardenne, A. Van Lamsweerde, S. Fickas, \u201cGoal-directed Requirements Acquisition. Science of Computer Programming\u201d, Special issue on 6 th Int. Workshop of Software Specification and Design, 1991.","DOI":"10.1109\/IWSSD.1991.213081"},{"key":"7_CR5","unstructured":"B. Lampson, \u201cComputer Security in the real world\u201d, Annual Computer Security Applications Conference 2000."},{"key":"7_CR6","unstructured":"J. McDermott, C. Fox, \u201cUsing Abuse Care Models for Security Requirements Analysis\u201d, Proceedings of the 15th Annual Computer Security Applications Conference, December 1999."},{"key":"7_CR7","unstructured":"R. Anderson, \u201cSecurity Engineering: A Guide to Building Dependable Distributed Systems\u201d, Wiley Computer Publishing, 2001"},{"key":"7_CR8","unstructured":"W. Stallings, \u201cCryptography and Network Security: Principles and Practice\u201d, Second Edition, Prentice-Hall 1999."},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1108\/09685220110401254","volume":"9","author":"T. Tryfonas","year":"2001","unstructured":"T. Tryfonas, E. Kiountouzis, A. Poulymenakou. \u201cEmbedding security practices in contemporary information systems development approaches\u201d, Information Management & Computer Security, Vol 9 Issue 4, 2001, pp 183\u2013197","journal-title":"Information Management & Computer Security"},{"key":"7_CR10","unstructured":"J. Castro, M. Kolp and J. Mylopoulos. \u201cA Requirements-Driven Development Methodology,\u201d In Proc. of the 13th Int. Conf. On Advanced Information Systems Engineering (CAiSE\u201901), Interlaken, Switzerland, June 2001."},{"key":"7_CR11","unstructured":"A. Perini, P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos. \u201cTowards an Agent Oriented Approach to Software Engineering. In A. Omicini and M. Viroli, editors, WOA 2001 \u2014 Dagli oggetti agli agenti: tendenze evolutive dei sistemi software, Modena-Italy, September 2001."},{"key":"7_CR12","unstructured":"P. Bresciani and P. Giorgini. \u201cThe Tropos Analysis Process as Graph Transformation System\u201d. In Proceedings of the Workshop on Agent-oriented methodologies, at OOPSLA 2002, Seattle, WA, USA, Nov, 2002."},{"key":"7_CR13","volume-title":"Modelling Strategic Relationships for Process Reengineering","author":"E. Yu","year":"1995","unstructured":"E. Yu, \u201cModelling Strategic Relationships for Process Reengineering\u201d, PhD thesis, Department of Computer Science, University of Toronto, Canada, 1995."},{"key":"7_CR14","unstructured":"H. Mouratidis, P. Giorgini, G. Manson, I. Philp, \u201cA Natural Extension of Tropos Methodology for Modelling Security\u201d, In the Proceedings of the Agent Oriented Methodologies Workshop (OOPSLA 2002), Seattle-USA, November 2002."},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"B. Bauer, J. M\u00fcller, J. Odell, \u201cAgent UML: A Formalism for Specifying Multiagent Interaction\u201d. In Agent-Oriented Software Engineering, Paolo Ciancarini and Michael Wooldridge (eds), Springer, Berlin, pp. 91\u2013103, 2001."},{"key":"7_CR16","unstructured":"H. Mouratidis, i. Philp, G. Manson, \u201cAnalysis and Design of eSAP: An Integrated Health and Social Care Information System\u201d, in the Proceedings of the 7th International Symposium on Health Information Managements Research (ISHIMR2002), Sheffield, June 2002"},{"key":"7_CR17","unstructured":"M. Garzetti, P. Giorgini, J. Mylopoulos, F. Sannicolo, \u201cApplying Tropos Methodology to a real case study: Complexity and Criticality Analysis\u201d, in the Proceedings of the Second Italian workshop on \u201cWOA 2002 dagli oggetti agli agenti dall\u2019informazione alla conoscenza\u201d, Milano, 18\u201319 November 2002"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"P. Giorgini, J. Mylopoulos, E. Nicchiarelli, R. Sebastiani. \u201cReasoning with Goal Models\u201d, in the Proceedings of the 21st International Conference on Conceptual Modeling (ER2002), Tampere, Finland, October 2002.","DOI":"10.1007\/3-540-45816-6_22"},{"key":"7_CR19","unstructured":"L. Bass, P. Clements, R. Kazman, \u201cSoftware Architecture in Practice\u201d, SEI Series in Software Engineering, Addison-Wesley, 1998."},{"key":"7_CR20","unstructured":"J. Bosch, \u201cDesign and Use of Software Architectures: adopting and evolving a product-line approach\u201d, ACM Press, Addison-Wesley, 2000."},{"key":"7_CR21","volume-title":"Architectural Styles and the Design of Network-based Software Architectures","author":"R. T. Fielding","year":"2000","unstructured":"R. T. Fielding, \u201cArchitectural Styles and the Design of Network-based Software Architectures\u201d, Doctoral dissertation, University of California, Irvine, 2000"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1002\/cpe.548","volume":"13","author":"A. Puliafito","year":"2001","unstructured":"A. Puliafito, S. Riccobene, M. Scarpa, \u201cWhich paradigm should I use?: An analytical comparison of the client-server, remote evaluation and mobile agents paradigms\u201d, IEEE Concurrency and Computation: Practice & Experience, vol. 13, pp. 71\u201394, 2001.","journal-title":"IEEE Concurrency and Computation: Practice & Experience"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Kotz, D.; Mattern, F. (Eds.): Agent Systems, Mobile Agents, and Applications. Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA\/MA 2000, pp. 57\u201372. LNCS 1882, Springer-Verlag, 2000","DOI":"10.1007\/b75241"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"R. Kazman, G. Abowd, L. Bass, M. Webb, \u201cSAAM: A Method for Analyzing the Properties of Software Architectures\u201d, Proceedings of ICSE-16, Sorrento \u2014 Italy, May, 1994.","DOI":"10.1109\/ICSE.1994.296768"},{"key":"7_CR25","unstructured":"H. Mouratidis, P. Giorgini, G. Manson, I. Philp, \u201cUsing Tropos Methodology to Model an Integrated Health Assessment System\u201d, Proceedings of the 4th International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002), Toronto-Ontario, May 2002"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"C. Meadows, \u201cA Model of Computation for the NRL protocol analyser\u201d, Proceedings of the 1994 Computer Security Foundations Workshop, 1994.","DOI":"10.21236\/ADA465465"},{"key":"7_CR27","unstructured":"S. Rohrig, \u201cUsing Process Models to Analyze Health Care Security Requirements\u201d, International Conference Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet, January 2002, L\u2019Aquila, Italy"},{"key":"7_CR28","unstructured":"L. Liu, E. Yu, J. Mylopoulos, \u201cAnalysing Security Requirements as Relationships Among Strategic Actors\u201d, 2nd Symposium on Requirements Engineering for Information Security (SREIS\u201902). Raleigh, North Carolina, October 16, 2002."},{"key":"7_CR29","unstructured":"Dardenne, A. van Lamsweerde, S. Fickas, \u201cGoal-directed Requirements Acquisition. Science of Computer Programming\u201d, Special issue on 6 th Int. Workshop of Software Specification and Design, 1991."},{"key":"7_CR30","unstructured":"Jan J\u00fcrjens, \u201cTowards Secure Systems Development with UMLsec\u201d, Fundamental Approaches to Software Engineering (FASE\/ETAPS) 2001, International Conference, Genoa 4\u20136 April 2001"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"T. Lodderstedt, D. Basin, J. Doser, \u201cSecureUML: A UML-Based Modelling Language for Model-Driven Security\u201d, in the Proceedings of the 5th International Conference on the Unified Modeling Language, 2002.","DOI":"10.1007\/3-540-45800-X_33"},{"key":"7_CR32","unstructured":"S. Guttorm, A. L. Opdahl, \u201cEliciting Security Requirements by Misuse Cases\u201d, Proceedings of TOOLS Pacific 2000, November 2000."},{"key":"7_CR33","unstructured":"A. Fuxman, M. Pistore, J. Mylopoulos, P. Traverso, \u201cModel Checking Early Requirements Specification in Tropos\u201d, Proceedings of the 5th Int. Symposium on Requirements Engineering, RE\u2019 01, Toronto, Canada, August 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\/3-540-45017-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T22:07:46Z","timestamp":1556748466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45017-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783319981765","9783319981772"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-45017-3_7","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2003]]}}}