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

dc.contributor.author	Mohr, Martin
dc.date.accessioned	2023-07-10T07:44:28Z
dc.date.available	2023-07-10T07:44:28Z
dc.date.issued	2023
dc.date.submitted	2023-06-20T09:03:40Z
dc.identifier	https://library.oapen.org/handle/20.500.12657/63532
dc.identifier.uri	https://directory.doabooks.org/handle/20.500.12854/101223
dc.description.abstract	I report on applications of slicing and program dependence graphs (PDGs) to software security. Moreover, I propose a framework that generalizes both data-flow analysis on control-flow graphs and slicing on PDGs. This framework can be used to systematically derive data-flow-like analyses on PDGs that go beyond slicing. I demonstrate that data-flow analysis can be systematically applied to PDGs and show the practicability of my approach.
dc.language	English
dc.rights	open access
dc.subject.other	Programmabhängigkeitsgraphen; Slicing; Informationsflusskontrolle; Datenflussanalyse; Kontrollflussgraphen; program dependence graphs; slicing; information flow control data-flow analysis; control-flow graphs
dc.subject.other	thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
dc.title	Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
dc.type	book
oapen.identifier.doi	10.5445/KSP/1000155035
oapen.relation.isPublishedBy	68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2
oapen.pages	464

Fichier(s) constituant ce document

Fichiers	Taille	Format	Vue
Il n'y a pas de fichiers associés à ce document.

Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access