Device Independence Principles