Session Logical Relations for Noninterference.

Farzaneh Derakhshan Stephanie Balzer Limin Jia

Published in: LICS (2021)

Keyphrases

logical structure
semantic relations
data sets
databases
information retrieval
information systems
spatial relations
temporal relations
machine learning
website
decision trees
data model
web search
distributed systems
logical reasoning
logical operations