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
• Probability and timing: Challenges for secure programming (Invited talk)
• A semantic approach to secure information flow
• The impact of synchronisation on secure information flow in concurrent programs
• Secure information flow for concurrent processes

Cited in

(8)

• The impact of synchronisation on secure information flow in concurrent programs
• Security for multithreaded programs under cooperative scheduling
• Probability and timing: Challenges for secure programming (Invited talk)
• scientific article; zbMATH DE number 2104621 (Why is no real title available?)
• A per model of secure information flow in sequential programs
• A comparison of semantic models for noninterference
• Value-dependent information-flow security on weak memory models
• Relational bytecode correlations

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)