Preliminaries
Throughout this article, the following notation is used:
- variable (low) shall denote a publicly observable variable
- variable (high) shall denote a secret variable
Where and are the only two security levels in the lattice being considered.
Read more about this topic: Information Flow (information Theory)