A correctness proof for the Volpano/Smith security typing system (2008)

by G Snelting, D Wasserrab