{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T18:44:12Z","timestamp":1772822652043,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319125671","type":"print"},{"value":"9783319125688","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-29749-6_7","type":"book-chapter","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T09:47:47Z","timestamp":1334224067000},"page":"95-109","source":"Crossref","is-referenced-by-count":11,"title":["A CASE Tool to Support Automated Modelling and Analysis of Security Requirements, Based on Secure Tropos"],"prefix":"10.1007","author":[{"given":"Michalis","family":"Pavlidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shareeful","family":"Islam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haralambos","family":"Mouratidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"7_CR1","first-page":"369","volume":"10","author":"S. Islam","year":"2011","unstructured":"Islam, S., Mouratidis, H., J\u00fcrjens, J.: A Framework to Support Alignment of Secure Software Engineering with Legal Regulations. Journal of Software and Systems Modeling (SoSyM), Theme Section on Non-Functional System Properties in Domain-Specific Modeling Languages (NFPinDSML)\u00a010(3), 369\u2013394 (2011)","journal-title":"Journal of Software and Systems Modeling (SoSyM), Theme Section on Non-Functional System Properties in Domain-Specific Modeling Languages (NFPinDSML)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-14192-8_23","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"S. Islam","year":"2010","unstructured":"Islam, S., Mouratidis, H., Wagner, S.: Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol.\u00a06182, pp. 255\u2013261. Springer, Heidelberg (2010)"},{"key":"7_CR3","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-59904-147-6","volume-title":"Integrating Security and Software Engineering: Advances and Future Visions","author":"H. Mouratidis","year":"2007","unstructured":"Mouratidis, H., Giorgini, P.: Integrating Security and Software Engineering: Future Vision and Challenges. In: Mouratidis, H., Giorgini, P. (eds.) Integrating Security and Software Engineering: Advances and Future Visions. Idea Group Publishing, London (2007)"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s00766-009-0093-9","volume":"15","author":"S.H. Houmb","year":"2010","unstructured":"Houmb, S.H., Islam, S., Knauss, E., J\u00fcrjens, J., Schneider, K.: Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec. Requirements Engineering Journal\u00a015(1), 63\u201393 (2010)","journal-title":"Requirements Engineering Journal"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Schneider, K., Knauss, E., Houmb, S.H., Islam, S., J\u00fcrjens, J.: Enhancing Security Requirements Engineering by Organisational Learning. Requirements Engineering Journal (REJ), Special Issue on REFSQ (2011)","DOI":"10.1007\/s00766-011-0141-0"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1142\/S0218194007003240","volume":"17","author":"H. Mouratidis","year":"2007","unstructured":"Mouratidis, H., Giorgini, P.: Secure Tropos: A Security-Oriented Extension of the Tropos Methodology. International Journal of Software Engineering and Knowledge Engineering\u00a017(2), 285\u2013309 (2007)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"7_CR7","volume-title":"Integrating Security and Software Engineering: Advances and Future Visions","author":"P. Giorgini","year":"2007","unstructured":"Giorgini, P., Mouratidis, H., Zannone, N.: Modelling Security and Trust with Secure Tropos. In: Mouratidis, H., Giorgini, P. (eds.) Integrating Security and Software Engineering: Advances and Future Visions. Idea Group Publishing, London (2007)"},{"key":"7_CR8","unstructured":"Matulevicious, R.: Summary of Secure Tropos Metamodel. Internal Report, University of Namur (2008)"},{"key":"7_CR9","unstructured":"Pavlidis, M., Islam, S.: SecTro: A CASE Tool for Modelling Security in Requirements Engineering using Secure Tropos. In: Nurcan, S. (ed.) Proceedings of the Conference on Advanced Information Systems Engineering (CAiSE) Forum, London, pp. 89\u201396 (2011)"},{"key":"7_CR10","unstructured":"SecTro | Homepage, \n                    \n                      http:\/\/sectro.securetropos.org\/"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"1166","DOI":"10.1016\/j.is.2007.03.002","volume":"32","author":"H. Mouratidis","year":"2007","unstructured":"Mouratidis, H., Giorgini, P.: Security Attack Testing (SAT) \u2013 Testing the Security of Information Systems at Design Time. Journal of Information Systems\u00a032, 1166\u20131183 (2007)","journal-title":"Journal of Information Systems"},{"key":"7_CR12","unstructured":"OME3, \n                    \n                      http:\/\/www.cs.toronto.edu\/km\/ome\/"},{"key":"7_CR13","unstructured":"OpenOME, \n                    \n                      https:\/\/se.cs.toronto.edu\/trac\/ome\/"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Grau, G., Franch, X., Maiden, N.: REDEPEND-REACT: An Architecture Analysis Tool. In: 13th IEEE International Conference on Requirements Engineering, Paris, pp. 455\u2013456 (2005)","DOI":"10.1109\/RE.2005.55"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-79488-2_14","volume-title":"Agent-Oriented Software Engineering VIII","author":"M. Morandini","year":"2008","unstructured":"Morandini, M., Nguyen, D.C., Perini, A., Siena, A., Susi, A.: Tool-Supported Development with Tropos: The Conference Management System Case Study. In: Luck, M., Padgham, L. (eds.) AOSE 2007. LNCS, vol.\u00a04951, pp. 182\u2013196. Springer, Heidelberg (2008)"},{"issue":"2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.engappai.2004.11.017","volume":"18","author":"P. Giorgini","year":"2005","unstructured":"Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-Oriented Requirements Analysis and Reasoning in Tropos Methodology. Journal of Engineering Applications of Artificial Intelligence\u00a018(2), 159\u2013171 (2005)","journal-title":"Journal of Engineering Applications of Artificial Intelligence"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: ST-Tool: A CASE Tool for Security Requirements Engineering. In: 13th IEEE International Conference on Requirements Engineering, Paris, pp. 451\u2013452 (2005)","DOI":"10.1109\/RE.2005.67"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Grau, G., Franch, X., Avila, S.: J-PRiM: A Java Tool for a Process Reengineering i* Methodology. In: 14th IEEE International Conference on Requirements Engineering, Minneapolis, pp. 359\u2013360 (2006)","DOI":"10.1109\/RE.2006.36"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-47961-9_24","volume-title":"Advanced Information Systems Engineering","author":"G. Gans","year":"2002","unstructured":"Gans, G., Lakemeyer, G., Jarke, M., Vits, T.: SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 328\u2013343. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29749-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T04:05:25Z","timestamp":1556683525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29749-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783319125671","9783319125688"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29749-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}