Information Flow Control via Stateful Intransitive Noninterference in Language IMP.

Published in: Arch. Formal Proofs (2024)

Keyphrases

information flow control
natural language
language learning
programming language
website
high level
operational semantics
real time
databases
object oriented
security policies
object oriented programming