Datei:KASTEL-Logo 1000.png
Größe dieser Vorschau: 600 × 600 Pixel. Weitere Auflösung: 1.000 × 1.000 Pixel.
Originaldatei (1.000 × 1.000 Pixel, Dateigröße: 43 KB, MIME-Typ: image/png)
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|---|
| aktuell | 07:55, 21. Jun. 2019 | | 1.000 × 1.000 (43 KB) | Frederik Reiche (Diskussion | Beiträge) |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgenden 9 Seiten verwenden diese Datei:
- Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security
- Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- KASTEL - Security-By-Design in vernetzten Infrastrukturen
- Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen
- Kontinuierliche Modellierung und Analyse von Annahmen im Bereich der Softwaresicherheit
- Kopplung von Architekturanalysen und musterbasierten Quelltextanalysen in de Domäne der Softwaresicherheitr
- Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit
- Modellierung von Angriffen für quantitative Sicherheitsanalysen
- Parametrisierung statischer Analysen im Kontext der Softwaresicherheit
