A decentralized model for information flow control
the java language specification .