Efficient purely-dynamic information flow analysis
Security Policies and Security Models