Modular Information Flow Through Ownership