A sound type system for secure flow analysis

1 April 1996

journal article
Published by SAGE Publications in Journal of Computer Security

Vol. 4 (2-3) , 167-187
https://doi.org/10.3233/jcs-1996-42-304

Abstract

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

Keywords

SOUNDNESS
DENNING'S
LATTICE
NOTEWORTHY
TYPE SYSTEM
SOUND TYPE
SECURE FLOW
FLOW ANALYSIS ENSURING

This publication has 0 references indexed in Scilit: