The COVERN Project

Compositional Verification and Refinement of Noninterference

More information »