TU Darmstadt / ULB / TUbiblio

Foundations of a refinement-based framework for escape analyses

Kübler, Florian :
Foundations of a refinement-based framework for escape analyses.
TU Darmstadt
[Masterarbeit], (2017)

Typ des Eintrags: Masterarbeit
Erschienen: 2017
Autor(en): Kübler, Florian
Titel: Foundations of a refinement-based framework for escape analyses
Sprache: Deutsch
Freie Schlagworte: Engineering;E1
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Softwaretechnik
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
Profilbereiche > Cybersicherheit (CYSEC)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche
20 Fachbereich Informatik
Profilbereiche
DFG-Sonderforschungsbereiche (inkl. Transregio)
Hinterlegungsdatum: 14 Mär 2018 14:53
ID-Nummer: TUD-CS-2017-0337
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen