Ensuring secure information flow within programs in the context of multiple sensitivity levels has been widely studied. Especially noteworthy is Denning's work in secure flow analysis and the lattice model [6,7]. Until now, however, the soundness of
No takes yet. Share an insight, caveat, or question.
Volpano et al. (1996) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: