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

Files in this item

Files	Size	Format	View
There are no files associated with this item.

Except where otherwise noted, this item's license is described as open access