Non-Interference for Deterministic Interactive Programs.

David Clark Sebastian Hunt

Published in: Formal Aspects in Security and Trust (2008)

Keyphrases

user interaction
user friendly
fixpoint semantics
database languages
interactive video
interactive learning
black box
programming language
computer simulation
expert systems
learning environment
computer programs
high level
automatic programming
turing machine
website
information systems
data mining