Implicit flows in malicious and nonmalicious code

DOI10.3233/978-1-60750-100-8-301MaRDI QIDQ3060986zbMATH OpenOpenAlexFDO

Authors Alejandro Russo, Andrei Sabelfeld, Keqin Li

Publication date 13 December 2010

Full work available at URL http://www.cse.chalmers.se/~andrei/mod09.pdf

zbMATH Keywords

implicit flowsmonitoringnoninterferencesecuritystatic analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)

Recommendations

• All Secrets Great and Small
• Static Analysis
• Information-flow and data-flow analysis of while-programs
• A semantic approach to secure information flow
• Cryptographically-masked flows

Cited in

(2)

• Multiple facets for dynamic information flow
• \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results

Describes a project that uses

Uses Software

• SPARK

This page was built for publication: Implicit flows in malicious and nonmalicious code

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060986)