A CASE tool to support automated modelling and analysis of security requirements, based on secure tropos

Lecture Notes in Business Information Processing

Volumn 107 LNBIP, Issue , 2012, Pages 95-109

  Pavlidis, Michalis ^a   Islam, Shareeful ^a   Mouratidis, Haralambos ^a  

^a UNIVERSITY OF EAST LONDON   (United Kingdom)

Author keywords

CASE tools; Goal Modelling; Requirements Engineering; SecTro; Secure Tropos; Security

Indexed keywords

INFORMATION SYSTEMS; REQUIREMENTS ENGINEERING;

AUTOMATED MODELLING; FUNCTIONAL REQUIREMENT; GOAL MODELLING; SECTRO; SECURE TROPOS; SECURITY; SECURITY CONSTRAINT; SECURITY REQUIREMENTS; SYSTEM DEVELOPMENT;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 84861141187     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-29749-6_7     Document Type: Conference Paper

References (19)

1. Islam, S., Mouratidis, H., Jürjens, 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) 10(3), 369-394 (2011)
2. 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. 6182, pp. 255-261. Springer, Heidelberg (2010)
3. 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)
4. Houmb, S.H., Islam, S., Knauss, E., Jürjens, J., Schneider, K.: Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec. Requirements Engineering Journal 15(1), 63-93 (2010)
5. Schneider, K., Knauss, E., Houmb, S.H., Islam, S., Jürjens, J.: Enhancing Security Requirements Engineering by Organisational Learning. Requirements Engineering Journal (REJ), Special Issue on REFSQ (2011)
6. Mouratidis, H., Giorgini, P.: Secure Tropos: A Security-Oriented Extension of the Tropos Methodology. International Journal of Software Engineering and Knowledge Engineering 17(2), 285-309 (2007)
7. 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)
8. Matulevicious, R.: Summary of Secure Tropos Metamodel. Internal Report, University of Namur (2008)
9. 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-96 (2011)
10. SecTro | Homepage, http://sectro.securetropos.org/
11. Mouratidis, H., Giorgini, P.: Security Attack Testing (SAT) - Testing the Security of Information Systems at Design Time. Journal of Information Systems 32, 1166-1183 (2007)
12. OME3, http://www.cs.toronto.edu/km/ome/
13. OpenOME, https://se.cs.toronto.edu/trac/ome/
14. Grau, G., Franch, X., Maiden, N.: REDEPEND-REACT: An Architecture Analysis Tool. In: 13th IEEE International Conference on Requirements Engineering, Paris, pp. 455-456 (2005)
15. 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. 4951, pp. 182-196. Springer, Heidelberg (2008)
16. Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-Oriented Requirements Analysis and Reasoning in Tropos Methodology. Journal of Engineering Applications of Artificial Intelligence 18(2), 159-171 (2005)
17. 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-452 (2005)
18. 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-360 (2006)
19. 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. 2348, pp. 328-343. Springer, Heidelberg (2002)