Semantic models for the security of sequential and concurrent programs

MaRDI QIDQ2724215zbMATH OpenFDO

Authors Andrei Sabelfeld

Publication date 10 July 2001

zbMATH Keywords

confidentialitysecure information flow

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data encryption (aspects in computer science) (68P25)

Recommendations

• A per model of secure information flow in sequential programs
• scientific article; zbMATH DE number 2090700
• A semantic approach to secure information flow
• scientific article; zbMATH DE number 2084343
• scientific article; zbMATH DE number 1759625

Cited in

(8)

• scientific article; zbMATH DE number 2084343 (Why is no real title available?)
• Relational bytecode correlations
• A comparison of semantic models for noninterference
• scientific article; zbMATH DE number 2090700 (Why is no real title available?)
• Security for multithreaded programs under cooperative scheduling
• A per model of secure information flow in sequential programs
• scientific article; zbMATH DE number 2104621 (Why is no real title available?)
• Value-dependent information-flow security on weak memory models

This page was built for publication: Semantic models for the security of sequential and concurrent programs

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