Non-interference by Unfolding