Detecting Replay Attacks by Freshness Annotations