Abstract
Some information is more confidential than others, or more trustworthy than others. After an introduction to Bell-LaPadula 's confidentiality and Biba's integrity policies, we'll look at how to control the flow of information through a program, either dynamically, or statically using type systems or program logic.
