SecTro: A CASE tool for modelling security in requirements engineering using Secure Tropos

CEUR Workshop Proceedings

Volumn 734, Issue , 2011, Pages 89-96

  Pavlidis, Michalis ^a   Islam, Shareeful ^a  

^a UNIVERSITY OF EAST LONDON   (United Kingdom)

Author keywords

CASE tools; Goal modelling; Requirements engineering; Secure Tropos; Security

Indexed keywords

APPROPRIATE MODELS; DEVELOPMENT PROCESS; GOAL MODELLING; SECURE TROPOS; SECURITY; SECURITY CONSTRAINT;

REQUIREMENTS ENGINEERING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 84890729922     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Mouratidis, H., Giorgini, P.: Secure Tropos: A Security-Oriented Extension of the Tropos Methodology. International Journal of Software Engineering and Knowledge Engineering 17(2), pp. 285-309 (2007) (Pubitemid 46782074)
2. 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)
3. 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)
4. Matulevicious, R.: Summary of Secure Tropos Metamodel. Internal Report, University of Namur (2008)
5. Mouratidis, H., Giorgini, P.: Security Attack Testing (SAT) - Testing the Security of Information Systems at Design Time. Journal of Information Systems 32, pp. 1166-1183 (2007) (Pubitemid 47379495)
6. OME3, http://www.cs.toronto.edu/km/ome/
7. OpenOME, https://se.cs.toronto.edu/trac/ome/
8. Grau, G., Franch, X., Maiden, N.: REDEPEND-REACT: An Architecture Analysis Tool. In: 13th IEEE International Conference on Requirements Engineering, pp. 455-456. Paris (2005) (Pubitemid 41563819)
9. Morandini, M., Nguyen, C.D., 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)
10. Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-Oriented Requirements Analysis and Reasoning in Tropos Methodology. Journal of Engineering Applications of Artificial Intelligence 18(2), pp. 159-171 (2005) (Pubitemid 40245086)
11. Massaci, F., Mylopoulos, J., Zanone, N.: Computer-Aided Support for Secure Tropos. Journal of Automated Software Engineering 14(2), 341-364 (2007) (Pubitemid 47397543)
12. 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, pp. 359-360. Minneapolis (2006)
13. Mussbacher, G., Amyot, D.: Assessing the Applicability of Use Case Maps for Business Process and Workflow Description. In: 2008 International MCETECH Conference on e-Technologies, pp. 219-222. Montreal (2008)
14. Gans, G., Lakemeyer, G., Jarke, M., Vits, T.: SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. In: Proceedings of the 14th International Conference on Advanced Information Systems Engineering, pp. 328-323 (2002)
15. UCL/ISYS - DesCARTES Architect, http://www.isys.ucl.ac.be/descartes/ index.php