A Theory and Tools for Applying Sandboxes Effectively