A comparison of semantic models for noninterference

DOI10.1016/J.TCS.2010.08.013zbMath1205.68110OpenAlexW2117895828MaRDI QIDQ604479

Chenyi Zhang, Ron van der Meyden

Publication date: 11 November 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.08.013

zbMATH Keywords

comparisonnoninterferencecomputer securityinformation flow

Mathematics Subject Classification ID

Computer system organization (68M99)

Related Items (2)

The complexity of synchronous notions of information flow security ⋮ The Research on Definition of Multilevel Security Based on the Construction of Covert Channels

Cites Work

• Foundations of Software Science and Computational Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A comparison of semantic models for noninterference