Compositional Verification and Refinement of Noninterference

Contact

Robert Sison, Toby Murray