Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan
Model-based Security Engineering12th International School on Foundations of Security Analysis and Design (FOSAD 2012). Bertinoro (Italy). 2012
Blanco, Carlos; Fernandez-Medina, Eduardo; Trujillo, Juan et al.
Modelado Seguro de Consultas OLAP y su EvoluciónJornadas de Ingenieria del Software y Bases de Datos (JISBD 2012). Almeria. 2012
Ochoa, Martín; Jürjens, Jan; Cuéllar, Jorge
Non-interference on UML State-ChartsCarlo A. Furia; Sebastian Nanz (Hrsg). Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Berlin: Springer 2012 S. 219 - 235
Wenzel, Sven; Wessel, Christian; Humberg, Thorsten et al.
Securing Processes for Outsourcing into the CloudFrank Leymann; Ivan Ivanov; Marten van Sinderen; Tony Shan (Hrsg). Proceedings of the 2nd International Conference on Cloud Computing and Services Science CLOSER 2012; Porto, Portugal; 18-21 April, 2012. Setúbal: SciTePress 2012 S. 675 - 680
Rosado, David G.; Sanchez, Luís Enrique; Fernández-Medina, Eduardo et al.
Security in Information Systems: New Challenges and OpportunitiesJournal of Universal Computer Science. Bd. 18. H. 6. Graz: Verlag der Technischen Universität Graz 2012 S. 728 - 731
Ruhroth, Thomas; Jürjens, Jan
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsecVictor Winter; Robin Gandhi; Abhishek Parakh (Hrsg). Proceeding of the 14th IEEE International Symposium on High Assurance Systems Engineering HASE 2012: 25. - 27. October, 2012; Omaha, Nebraska. Los Alamitos, CA: IEEE Computer Society 2012 S. 177 - 184
Fourneret, Elizabeta; Bouquet, Fabrice; Ochoa, Martin et al.
Vérification et Test pour des systémes évolutifsAFADL 2012. Grenoble. 2012
Islam, Shareeful; Mouratidis, Haralambos; Jürjens, Jan
A framework to support alignment of secure software engineeringwith legal regulationsSoftware and Systems Modeling. Bd. 10. H. 3. Berlin: Springer 2011 S. 369 - 394
Jürjens, Jan
Automated Security Hardening for Evolving UML ModelsRichard N. Taylor; Harald Gall; Nenad Medvidović (Hrsg). Proceedings of the 33rd International Conference on Software Engineering ICSE 2011: May 21–28, 2011; Waikiki, Honolulu, Hawaii. New York, NY: ACM Association for Computing Machinery 2011 S. 986 - 988
Schmidt, Holger; Jürjens, Jan
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsecHaralambos Mouratidis; Colette Rolland (Hrsg). Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011: London, UK, June 20-24, 2011; Proceedings. Berlin: Springer 2011 S. 367 - 382