Is Top Secret Replay-Resistant?