@inproceedings{HateburHeiselSchmidt2006, author = {Hatebur, Denis and Heisel, Maritta and Schmidt, Holger}, title = {Security Engineering Using Problem Frames}, series = {Emerging Trends in Information and Communication Security: International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceeding}, volume = {LNCS, 3995}, booktitle = {Emerging Trends in Information and Communication Security: International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceeding}, editor = {M{\"u}ller, G{\"u}nter}, publisher = {Springer}, address = {Berlin, Heidelberg}, isbn = {978-3-540-34640-1}, doi = {10.1007/11766155_17}, pages = {238 -- 253}, year = {2006}, language = {en} } @inproceedings{HateburHeiselJuerjensetal.2011, author = {Hatebur, Denis and Heisel, Maritta and J{\"u}rjens, Jan and Schmidt, Holger}, title = {Systematic Development of UMLsec Design Models Based on Security Requirements}, series = {Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr{\"u}cken, Germany, March 26-April 3, 2011. Proceedings}, volume = {LNCS, 6603}, booktitle = {Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr{\"u}cken, Germany, March 26-April 3, 2011. Proceedings}, editor = {Giannakopoulou, Dimitra and Orejas, Fernando}, publisher = {Springer}, address = {Berlin, Heidelberg}, isbn = {978-3-642-19810-6}, doi = {10.1007/978-3-642-19811-3_17}, pages = {232 -- 246}, year = {2011}, language = {en} } @inproceedings{SchmidtJuerjens2011, author = {Schmidt, Holger and J{\"u}rjens, Jan}, title = {Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec}, series = {Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings}, volume = {LNCS, 6741}, booktitle = {Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings}, editor = {Mouratidis, Haralambos and Rolland, Colette}, publisher = {Springer}, address = {Berlin, Heidelberg}, isbn = {978-3-642-21639-8}, doi = {10.1007/978-3-642-21640-4_28}, pages = {367 -- 382}, year = {2011}, language = {en} } @inproceedings{JuerjensMarchalOchoaetal.2011, author = {J{\"u}rjens, Jan and Marchal, Lo{\"i}c and Ochoa, Mart{\´i}n and Schmidt, Holger}, title = {Incremental Security Verification for Evolving UMLsec models}, series = {Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings}, volume = {LNCS, 6698}, booktitle = {Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings}, editor = {France, Robert B. and Kuester, Jochen M. and Bordbar, Behzad and Paige, Richard F.}, publisher = {Springer}, address = {Berlin, Heidelberg}, isbn = {978-3-642-21469-1}, doi = {10.1007/978-3-642-21470-7_5}, pages = {52 -- 68}, year = {2011}, language = {en} } @inproceedings{Schmidt2009, author = {Schmidt, Holger}, title = {Pattern-Based Confidentiality-Preserving Refinement}, series = {Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings}, volume = {LNCS, 5429}, booktitle = {Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings}, editor = {Massacci, Fabio and Redwine Jr., Samuel T. and Zannone, Nicola}, publisher = {Springer}, address = {Berlin, Heidelberg}, isbn = {978-3-642-00198-7}, doi = {10.1007/978-3-642-00199-4_5}, pages = {43 -- 59}, year = {2009}, language = {en} } @inproceedings{HateburHeiselSchmidt2008, author = {Hatebur, Denis and Heisel, Maritta and Schmidt, Holger}, title = {Analysis and Component-based Realization of Security Requirements}, series = {2008 Third International Conference on Availability, Reliability and Security}, booktitle = {2008 Third International Conference on Availability, Reliability and Security}, publisher = {IEEE}, address = {Barcelona}, isbn = {978-0-7695-3102-1}, doi = {10.1109/ARES.2008.27}, pages = {195 -- 203}, year = {2008}, abstract = {We present a process to develop secure software with an extensive pattern-based security requirements engineering phase. It supports identifying and analyzing conflicts between different security requirements. In the design phase, we proceed by selecting security software components that achieve security requirements. The process enables software developers to systematically identify, analyze, and finally realize security requirements using security software components. We illustrate our approach by a lawyer agency software example.}, language = {en} }