Securing the data manipulated by computing systems has been a challenge in the past years.
More generally, the security levels can be viewed as a lattice with information flowing only upwards in the lattice [REF].