A Correctness Proof for the Volpano/Smith Security Typing System by Gregor Snelting and Daniel Wasserrab Sep 02