Cryptographic sealing for information secrecy and authentication
A lattice model of secure information flow