Master of Science (MS)
Information flow in Discretionary Access Control (DAC) is a well-known difficult problem. This paper formalizes the fundamental concepts and establishes a theory of information flow security. A DAC system is information flow secure (IFS), if any data never flows into the hands of owner’s enemies (explicitly denial access list.)
Pan, Jene, "Information Flow Model for Commercial Security" (2009). Master's Projects. 72.