TY - GEN

AU - Mohr, Martin

AU - Snelting, Gregor

AU - Hammer, Christian

TI - Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

PB - KIT Scientific Publishing

SN - 9783731512752

KW - Statische Analyse

KW - Kontrollflussdiagramm

KW - Program Slicing

KW - Kontrollfluss

KW - Abhängigkeitsgraph

KW - Verifikation

KW - Programmanalyse

KW - Programmabhängigkeitsgraphen

KW - Slicing

KW - Informationsflusskontrolle

KW - Datenflussanalyse

KW - Kontrollflussgraphen

KW - program dependence graphs

KW - slicing

KW - information flow control data-flow analysis

KW - control-flow graphs

PY - 2023

CY - Karlsruhe

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -