Enforceable security policies
Efficient software-based fault isolation