Efficient purely-dynamic information flow analysis
A decentralized model for information flow control