Injection Attack Resilience in Liveness: Proven , Not Assumed