Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Schmidt, Holger; Jürjens, Jan
UMLsec4UML2 - Adopting UMLsec to Support UML2: Using UMLsec4UML2 for the Specification of Architectural Security PatternsDortmund: Technische Universität Dortmund 2011 S. 1 - 17
Fernandez, Eduardo B.; Yoshioka, Nobukazu; Washizaki, Hironori et al.
Using Security Patterns to Develop Secure SystemsHaralambos Mouratidis (Hrsg). Software Engineering for Secure Systems: Industrial and Research Perspectives. Hershey, PA: Information Science Reference 2011 S. 16 - 31
Aizatulin, Mihhail; Dupressoir, François; Gordon, Andrew D. et al.
Verifying Cryptographic Code in C: Some Experience and the Csec ChallengeGilles Barthe; Anupam Datta; Sandro Etalle (Hrsg). Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Berlin: Springer 2011 S. 1 - 20
Bürckert, Hans-Jürgen; Furbach, Ulrich
Vom Schmuddelkind zum FachbereichKünstliche Intelligenz. Bd. 25. H. 4. Berlin: Springer 2011 S. 329 - 331
Peschke, Marc; Hirsch, Martin; Jürjens, Jan et al.
Werkzeuggestützte Identifikation von IT-SicherheitsrisikenPeter Schartner;Jürgen Taeger (Hrsg). D-A-CH security 2011: Bestandsaufnahme - Konzepte - Anwendungen - Perspektiven. Klagenfurt: Syssec 2011 S. 267 - 278
Hirsch, Martin; Küster, J.-C.; Jürjens, Jan
Werkzeuggestützte Qualitätssicherung von Sicherheits- und Compliance-Anforderungen an den Einsatz von Cloud-Computing2011
Autenrieth, Marcus; Frey, Hannes; Groll, R. et al.
Wireless Sensor Actor Nodes for the Building Automation2011
Kschischo, Maik
A gentle introduction to the thermodynamics of biochemical stoichiometric networks in steady stateThe European Physical Journal Special Topics. Bd. 187. Berlin: Springer 2010 S. 255 - 274
Loose, Nico; Frey, Hannes
Accuracy over energy metrics for evaluating sensor network MAC protocolsChristian Becker; Marco Conti (Hrsg). Proceeding of the 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops); 29. March-2. April, 2010; Mannheim, Germany. Piscataway, NJ: IEEE Computer Society 2010 S. 74 - 80
Furbach, Ulrich; Glöckner, Ingo; Pelzer, Björn
An application of automated reasoning in natural language question answeringAI Communications. Bd. 23. H. 2-3. Amsterdam: IOS Press 2010 S. 241 - 265