Von Kramerm hochgeladene Dateien
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Beschreibung | Versionen |
|---|---|---|---|---|---|
| 19:15, 16. Mär. 2016 | Edu.kit.kastel.scbs.cloudscenario.zip (Datei) |  |
1,25 MB | 2 | |
| 14:08, 10. Mär. 2016 | Edu.kit.kastel.scbs.travelplanner.zip (Datei) | |
18 KB | KASTEL Travel Planner case study for confidentiality analysis | 1 |
| 14:04, 10. Mär. 2016 | Accessanalysis-prolog.zip (Datei) | |
21 KB | KASTEL Architectural Confidentiality Analysis (PCM-Prolog) | 1 |
| 21:28, 7. Mär. 2016 | KASTEL SCBS.zip (Datei) | |
473 KB | Eclipse plug-ins for KASTEL secure component-based systems (confidentiality specification and analysis) | 1 |
| 18:15, 29. Jan. 2014 | KASTEL logo 200x200.png (Datei) |  |
8 KB | 1 |
