Systematic development of UMLsec design models based on security requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6603 LNCS, Issue , 2011, Pages 232-246

  Hatebur, Denis ^a,d   Heisel, Maritta ^a   Jürjens, Jan ^b,c   Schmidt, Holger ^b  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

^c Fraunhofer Institute for Software and Systems Engineering (ISST)   (Germany)

^d Institut für Technische Systeme GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CASE TOOLS; CRITICAL SYSTEMS; DESIGN MODELS; ENGINEERING ACTIVITIES; ERROR PRONES; FORMAL SPECIFICATION LANGUAGE; MODEL GENERATION; NON-TRIVIAL; PATIENT MONITORING SYSTEMS; SECURITY REQUIREMENTS; SECURITY VULNERABILITIES;

DESIGN; MODELS; PATIENT MONITORING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

MATHEMATICAL MODELS;

EID: 79953186499     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19811-3_17     Document Type: Conference Paper

References (13)

1. Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, Springer, Heidelberg (2004)
2. Côté, I., Hatebur, D., Heisel, M., Schmidt, H., Wentzlaff, I.: A systematic account of problem frames. In: Proceedings of the European Conference on Pattern Languages of Programs (EuroPLoP), pp. 749-767. Universitätsverlag Konstanz (2008)
3. Fabian, B., Gürses, S., Heisel, M., Santen, T., Schmidt, H.: A comparison of security requirements engineering methods. Requirements Engineering - Special Issue on Security Requirements Engineering 15(1), 7-40 (2010)
4. Giorgini, P., Mouratidis, H.: Secure tropos: A security-oriented extension of the tropos methodology. International Journal of Software Engineering and Knowledge Engineering 17(2), 285-309 (2007)
5. Hatebur, D., Heisel, M.: A UML profile for requirements analysis of dependable software. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 317-331. Springer, Heidelberg (2010)
6. Hatebur, D., Heisel, M., Schmidt, H.: Analysis and component-based realization of security requirements. In: Proceedings of the International Conference on Availability, Reliability and Security (AReS), pp. 195-203. IEEE Computer Society Press, Los Alamitos (2008)
7. 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 - Special Issue on Security Requirements Engineering 15(1), 63-93 (2010)
8. Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)
9. Jürjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2005)
10. Lodderstedt, T., Basin, D.A., Doser, J.: SecureUML: A UML-based modeling language for model-driven security. In: Proceedings of the International Conference on the Unified Modeling Language (UML), London, UK, pp. 426-441. Springer, Heidelberg (2002)
11. Millan, T., Sabatier, L., Le Thi, T.-T., Bazex, P., Percebois, C.: An OCL extension for checking and transforming uml models. In: Proceedings of the WSEAS International Conference on Software Engineering, Parallel and distributed Systems (SEPADS), Stevens Point, Wisconsin, USA, pp. 144-149. World Scientific and Engineering Academy and Society (WSEAS), Singapore (2009)
12. Mouratidis, H., Jürjens, J.: From goal-driven security requirements engineering to secure design. International Journal of Intelligent Systems - Special issue on Goal-Driven Requirements Engineering 25(8), 813-840 (2010)
13. Schmidt, H.: A Pattern- and Component-Based Method to Develop Secure Software. Deutscher Wissenschafts-Verlag (DWV) Baden-Baden (April 2010)