> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security Beteiligte: Mohr, Martin [Verfasser]; Snelting, Gregor [Akademischer Betreuer]; Hammer, Christian [Akademischer Betreuer] Erschienen: Karlsruhe: KIT Scientific Publishing, 2023 Umfang: Online-Ressource Sprache: Englisch DOI: 10.5445/KSP/1000155035 ISBN: 9783731512752 Identifikator: Schlagwörter: Statische Analyse ; Kontrollflussdiagramm ; Program Slicing ; Kontrollfluss ; Abhängigkeitsgraph ; Verifikation ; Programmanalyse ; Programmabhängigkeitsgraphen ; Slicing ; Informationsflusskontrolle ; Datenflussanalyse ; Kontrollflussgraphen ; program dependence graphs ; slicing ; information flow control data-flow analysis ; control-flow graphs Entstehung: Hochschulschrift: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2022 Anmerkungen: Zugangsstatus: Freier Zugang