Checking and Automating Confidentiality Theory in Isabelle/UTP.

Lex Bailey Jim Woodcock Simon Foster Roberto Metere

Published in: CoRR (2023)

Keyphrases

theoretical framework
access control
relational databases
theorem prover
neural network
decision making
theoretical basis
database
computational model
information theory
general theory