Checking and Automating Confidentiality Theory in Isabelle/UTP. - Lex Bailey; Jim Woodcock 001; Simon Foster 001; Roberto Metere (CoRR, 2023)