A Proof System for Abstract Non-interference
scientific article