Session Logical Relations for Noninterference.

Farzaneh Derakhshan Stephanie Balzer Limin Jia

Published in: CoRR (2021)

Keyphrases

logical structure
semantic relations
background knowledge
databases
artificial intelligence
spatial relations
data sets
database systems
digital libraries
security policies
truth values
logical properties
logical representation
logical reasoning
logical operations