Search Results - "information flow control"
Suggested Topics within your search.
Suggested Topics within your search.
-
1
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Published 2009Subjects: “…information flow control…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Published 2022Subjects: “…Vertraulichkeit; Zugriffskontrolle; Informationsflusskontrolle; Datenflüsse; Softwarearchitektur; confidentiality; access control; information flow control; data flows; software architecture…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Published 2022Subjects: “…Vertraulichkeit; Zugriffskontrolle; Informationsflusskontrolle; Datenflüsse; Softwarearchitektur; confidentiality; access control; information flow control; data flows; software architecture…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security
Published 2023Subjects: “…Programmabhängigkeitsgraphen; Slicing; Informationsflusskontrolle; Datenflussanalyse; Kontrollflussgraphen; program dependence graphs; slicing; information flow control data-flow analysis; control-flow graphs…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security
Published 2023Subjects: “…Programmabhängigkeitsgraphen; Slicing; Informationsflusskontrolle; Datenflussanalyse; Kontrollflussgraphen; program dependence graphs; slicing; information flow control data-flow analysis; control-flow graphs…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter