Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
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 (Lecture Notes in Computer Science)
Ochoa, Martín; Jürjens, Jan; Cuéllar, Jorge
Non-interference on UML State-Charts.TOOLS (50). 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
Wenzel, Sven; Wessel, Christian; Humberg, Thorsten et al.
Securing Processes for Outsourcing into the Cloud.CLOSER. 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
G. Rosado, David; Enrique Sanchez, Luís; Fernández-Medina, Eduardo et al.
Security in Information Systems: New Challenges and Opportunities.J. UCS. Bd. 18. H. 6. 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
Ruhroth, Thomas; Jürjens, Jan
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec.HASE. 2012 S. 177 - 184
Fourneret, Elizabeta; Bouquet, Fabrice; Ochoa, Martin et al.
Vérification et Test pour des systémes évolutifsAFADL 2012. Grenoble. 2012