Proving Non-interference on Reachability Properties: A Refinement Approach.

Marc Frappier, Amel Mammar

Browse the full APSEC paper archive.