Semantics for Noninterference with Interaction Trees (Artifact).

Lucas Silver Paul He Ethan Cecchetti Andrew K. Hirsch Steve Zdancewic

Published in: Dagstuhl Artifacts Ser. (2023)

Keyphrases

human computer interaction
logic programming
decision trees
information systems
multi agent
database
e learning
website
user interaction
human robot interaction
conceptual graphs
formal semantics
argumentation semantics