Independence from obfuscation: A semantic framework for diversity