{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T20:42:25Z","timestamp":1773175345775,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540408031","type":"print"},{"value":"9783540452249","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45224-9_187","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:09:45Z","timestamp":1294394985000},"page":"1387-1394","source":"Crossref","is-referenced-by-count":33,"title":["An Ontology for Modelling Security: The Tropos Approach"],"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","reference":[{"key":"187_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Intelligent Agents IV","author":"C. Iglesias","year":"1999","unstructured":"Iglesias, C., Garijo, M., Gonzales, J.: A survey of agent-oriented methodologies. In: Rao, A.S., Muller, J.P., Singh, M.P. (eds.) Intelligent Agents IV. LNCS, Springer, Heidelberg (1999)"},{"key":"187_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45341-5_8","volume-title":"Advanced Information Systems Engineering","author":"J. Castro","year":"2001","unstructured":"Castro, J., Kolp, M., Mylopoulos, J.: A Requirements-Driven Development Methodology. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, p. 108. Springer, Heidelberg (2001)"},{"key":"187_CR3","doi-asserted-by":"crossref","unstructured":"Mouratidis, H., Giogini, P., Manson, G.: Modelling Secure Multiagent Systems. In: The Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (July 2003) (to appear)","DOI":"10.1145\/860575.860713"},{"key":"187_CR4","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Giorgini, P., Kolp, M.: Information Systems as Social Structures. In: Proceedings of the Second International Conference on Formal Ontologies for Information Systems (FOIS-2001), Ogunquit, USA, October 17-19 (2001)","DOI":"10.1145\/505168.505171"},{"key":"187_CR5","unstructured":"Yu, E.: Modelling Strategic Relationships for Process Reengineering, PhD thesis, Department of Computer Science, University of Toronto, Canada (1995)"},{"key":"187_CR6","unstructured":"Mouratidis, H., Philp, I., Manson, G.: Analysis and Design of eSAP: An Integrated Health and Social Care Information System. In: The Proceedings of the 7th International Symposium on Health Information Management Research (ISHIMR 2002), Sheffield (July 2002)"},{"key":"187_CR7","unstructured":"Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model Checking Early Requirements Specification in Tropos. In: The Proceedings of the 5th Int. Symposium on Requirements Engineering, RE 2001, Toronto, Canada (2001)"},{"key":"187_CR8","volume-title":"Software Engineering","author":"Sommerville","year":"2001","unstructured":"Sommerville: Software Engineering, 6th edn. Addison-Wesley, Reading (2001)","edition":"6"},{"key":"187_CR9","unstructured":"Mouratidis, H.: Extending Tropos Methodology to Accommodate Security. Progress Report, Computer Science Department, University of Sheffield (October 2002)"},{"key":"187_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., Van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science of Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45224-9_187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T18:09:10Z","timestamp":1558721350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45224-9_187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408031","9783540452249"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45224-9_187","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}