The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties