Semantics for Noninterference with Interaction Trees.

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

Published in: ECOOP (2023)

Keyphrases

decision trees
formal semantics
human computer interaction
human interaction
user interaction
logic programming
real time
security policies
operational semantics