Compositional Verification and Refinement of Noninterference

More information »