Schmidt, RobertJürjens, JanRumpe, BernhardHesse, Wolfgang2019-10-162019-10-1620043-88579-374-1https://dl.gi.de/handle/20.500.12116/29254Im 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.deText/Conference Paper1617-5468