Konferenzbeitrag
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2004
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Im Rahmen des Verisoft-Projekts [ver03] entsteht in Zusammenarbeit mit T-Systems [SL04] ein biometrisches Zugangskontrollsystem, dessen Sicherheitseigenschaften von zentraler Bedeutung sind. In dieser Fallstudie wird UMLsec, eine Erweiterung von UML, verwendet, um das zu entwickelnde System zu modellieren und auf Modellebene die sicherheitskritischen Aspekte zu untersuchen.