Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Softwaretechnik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2722
  • 0261/287-2721
Publikationen
Ergebnisse pro Seite:  10

Breu, Ruth; Burger, Klaus; Hafner, Michael et al.

Key Issues of a Formally Based Process Model for Security Engineering

Sixteenth International Conference Software & Systems Engineering & their Applications. Paris. 2003 S. 1 - 15


Jürjens, Jan

Methoden der Entwicklung sicherer Systeme - Half-day tutorial

GI Teiltagung Sicherheit- Schutz und Zuverlässigkeit. Frankfurt. 2003


Kuhn, Thomas A.; Jürjens, Jan

Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorial

International Conference WWW/Internet 2003. 2003


Jürjens, Jan

Model-based Security with UMLsec - Invited talk

UML Forum Tokyo. 2003


Jürjens, Jan

Model-based Testing of Embedded Systems with UML: A Half-day tutorial

Conference on Software Testing (ICSTEST-E). Bilbao (Spain). 2003


Grünbauer, Johannes; Hollmann, Helia; Jürjens, Jan et al.

Modelling and Verification of Layered Security Protocols: A Bank Application

Stuart Anderson; Massimo Felici; Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129


Jürjens, Jan

Modelling for IT-Security- and Risk-Analysis

Infotage. Starnberger See. 2003


Popp, Gerhard; Jürjens, Jan; Wimmel, Guido et al.

Security-critical system development with extended use cases

Wanchai Rivepiboon; Pornsiri Muenchaisri; Doo-Hwan Bae; Natawut Nupairoj; Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 478 - 487


Wimmel, Guido; Popp, Gerhard; Jürjens, Jan

Use Case Oriented Development of Security-Critical Systems

OMG Workshop on Distributed Objects and Components Security (DOCsec 2003). Baltimore (USA): Object Management Group (OMG) 2003


Jürjens, Jan

A Holistic View of Secure Systems Development: Using Patterns and UML - A Half-day tutorial

17th International Conference on Information Security (SEC 2002). Cairo. 2002