Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks