Jürjens, Jan
Formal Foundations for Verifying Security-Critical Software: A Tutorial12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009
Jürjens, Jan
Model-based Security Engineering with UMLsecSerenity Day: Establishing IT Security as a full engineering discipline. Brussels. 2009
Jürjens, Jan
Model-based Security Testing Supporting Evolution14th Software & Systems Quality Conferences (SQC’09). Congress Center Düsseldorf (Germany). 2009 S. 1 - 34
Fernández-Medina, Eduardo; Jürjens, Jan; Trujillo, Juan et al.
Model-Driven Development for secure information systemsInformation and Software Technology. Bd. 51. H. 5. Amsterdam: Elsevier 2009 S. 809 - 814
Washizaki, Hironori; Yoshioka, Nobukazu; Fernández, Eduardo B. et al.
Overview of the 3rd international workshop on software patterns and quality (SPAQu’09)Shail Arora; Bernd Bruegge; Gary Leavens; Yvonne Coady; Simon Peyton-Jones (Hrsg). Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications OOPSLA 2009: Orlando, Florida, USA; October 25 - 29, 2009. New York, NY: ACM Association for Computing Machinery 2009 S. 713 - 714
Woodside, Murray; Petriu, Dorina C.; Petriu, Dorin Bogdan et al.
Performance analysis of security aspects by weaving scenarios extracted from UML modelsJournal of Systems and Software. Bd. 82. H. 1. Amsterdam: Elsevier 2009 S. 56 - 74
Jürjens, Jan; Fernandez, Eduardo
Secure Database DevelopmentLing Liu; M. Tamer Özsu (Hrsg). Encyclopedia of Database Systems. Boston: Springer 2009 S. 2528 - 2534
Jürjens, Jan; Fernandez, Eduardo
Secure Database DevelopmentLiu, Ling; Özsu, M. Tamer (Hrsg). Encyclopedia of Database Systems. Springer 2009 S. 2528 - 2534
Mouratidis, Haralambos; Sunyaev, Ali; Jürjens, Jan
Secure Information Systems Engineering: Experiences and Lessons Learned from two Health Care ProjectsPascal van Eck; Jaap Gordijn; Roel Wieringa (Hrsg). Advanced Information Systems Engineering: 21st International Conference, CAiSE 2009: Amsterdam, The Netherlands, June 8-12, 2009; Proceedings. Berlin: Springer 2009 S. 231 - 245
Lloyd, John; Jürjens, Jan
Security Analysis of a Biometric Authentication System using UMLsec and JMLAndy Schürr; Bran Selic (Hrsg). Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Berlin: Springer 2009 S. 77 - 91