Hauptinhalt

 

Arbeitsgruppe von Prof. Dr. Jan Jürjens

Wir begrüßen Sie auf der Webseite der Arbeitsgruppe von Prof. Dr. Jan Jürjens. Wir beschäftigen uns innerhalb des Lehrstuhles Software Engineering von Prof. Dr. Jakob Rehof mit der sicheren Softwareentwicklung.

Die modell-gestützte Entwicklung von sicherer Software ist der Kernbereich unserer Forschung. Dabei betrachten wir insbesondere moderne Technologien wie Cloud-Computing und mobile Anwendungen, in denen noch keine "best practice" für sichere Entwicklung existiert. Dies umfasst insbesondere:

• Sicherheit für Geschäftsprozesse (APEX)
• Methoden und Tools für die Modellierung und Prüfung von Sicherheitseigenschaften
  • Erweiterungen zur Modellierung (UMLsec) und Verifizierung (CARiSMA) von Sicherheitseigenschaften in UML
  • Erweiterung von anderen domänenspezifischen Sprachen (z.B. BPMN) für die Modellierung von Sicherheitseigenschaften (CARiSMA)
  • Evolution von Sicherheits-Modellen (SecureChange)
• Sicherheit in Cloud-Computing-Umgebungen (SecureClouds)
• Sicherer Informationsfluss (Secure Information Flow) im Kontext von Delegationen und Kompositionen (MoDelSec)
• Modellierung und Prüfung der Wirtschaftlichkeit und Wirksamkeit von Sicherheitsmassnahmen (SECONOMICS)