Verification of information flow security in cyber-physical systems