TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

Competence Center Security - Projects

Autofocus
AutoFocus uses graphical description techniques, and thus supports working on an intuitive basis as much as possible. The user interface consists of a project browser for the organization of the specification documents of the single projects, and one editor for each specification document.

FairPay
Dependability of electronic payment systems

Security and Safety in Software Engineering
Formal Modelling and Verification of Security-critical Systems

UMLsec


Verisoft