Seiten, die auf „Datei:KASTEL-Logo 1000.png“ verlinken
Die folgenden Seiten verlinken auf Datei:KASTEL-Logo 1000.png:
Angezeigt werden 9 Einträge.
- KASTEL - Security-By-Design in vernetzten Infrastrukturen (Dateilink) (← Links)
- Parametrisierung statischer Analysen im Kontext der Softwaresicherheit (Dateilink) (← Links)
- Generation of Formal Specifications for Smart Contracts from Architectural Specifications (Dateilink) (← Links)
- Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen (Dateilink) (← Links)
- Kontinuierliche Modellierung und Analyse von Annahmen im Bereich der Softwaresicherheit (Dateilink) (← Links)
- Kopplung von Architekturanalysen und musterbasierten Quelltextanalysen in de Domäne der Softwaresicherheitr (Dateilink) (← Links)
- Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit (Dateilink) (← Links)
- Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security (Dateilink) (← Links)
- Modellierung von Angriffen für quantitative Sicherheitsanalysen (Dateilink) (← Links)