Sheaf semantics of termination-insensitive noninterference.

Jonathan Sterling Robert Harper

Published in: CoRR (2022)

Keyphrases

active rules
rewrite systems
formal semantics
security policies
term rewriting
high level
semantic information
semantic representation
real time
case study
keywords
expert systems
conceptual model
argumentation semantics