Login / Signup
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