| Modellierung und Analyse mehrstufiger Sicherheitsprotokolle |
| Im Rahmen der Fallstudie “Modellbasierte Sicherheitsanalyse einer Bankapplikation” wurde eine speziell für den Bankenbereich entwickelte Anwendung, ein sogenannter digitaler Formularschrank, untersucht. Kern der Arbeit von J. Grünbauer ist die Analyse mehrstufiger Sicherheitsprotokolle. |
 |
| PalME secure Palm-based Money Exchange |
| The aim of PalME (secure Palm-based Money Exchange) was to develop a secure electronic purse application for Palm pilot handhelds. PalME was launched as a student project consisting of 18 team members, including University advisors who acted as coaches and two employees from a major German bank we co-operated with. PalME ran for 3 months, amounting to an effort of altogether 630 person days. |
|
| EET |
| Besschreibungstechnik, die zur Modellierung der Interaktionssicht in AutoFocus eingesetzt wird |
|
| Interaktionssicht |
| In der Interaktionssicht wird beispielhaftes Verhalten eines System beschrieben. Dabei wird mittels Interaktionsszenarien die zeitliche Abfolge von Nachrichten zwischen Komponenten festgelegt. |
|
| Modellbasierte Entwicklung |
| Ziel der modellbasierten Entwicklung ist die Steigerung der Entwicklungseffizienz durch konstruktive Qualitätssicherung. |
|
| SSD |
| Beschreibungstechnik, die zur Modellierung der Struktursicht in AutoFocus eingesetzt wird |
|
| STD |
| Besschreibungstechnik, die zur Modellierung der Verhaltenssicht in AutoFocus eingesetzt wrid |
|
| Struktursicht |
|
| Verhaltenssicht |
| In der Verhaltenssicht wird das Verhalten eines Systems oder einer Komponente in Form der Reaktionen auf Eingaben aus der Umgebung und der daraus resultierenden Ausgaben in die Umgebung. |
|
| AutoFocus |
| Werkzeug zur Entwicklung von Software eingebetteter Systeme mit Modellierungstechniken wie der UML-RT, Möglichkeiten zur Simulation, Konsistenzprüfung, Generierung von Code und zur Validierung und Verifkation. Teilw. frei verfügbar. |
|
| AutoFocus-Literatur |
| Erläuternder Artikel über die Funktionalität des Werkzeugs AutoFocus |
|
