Security Analyses of Network Time Services: An analysis of the security requirements for a network time service