A Correctness Proof for the Volpano/Smith Security Typing Systemby Gregor Snelting and Daniel Wasserrab02 Sep