Security via Noninterference - Analyzing Information Flows

Sebastian Eggert. Security via Noninterference - Analyzing Information Flows. PhD thesis, University of Kiel, 2014. [doi]

Abstract

Abstract is missing.