US8041980B2 - Time Certifying Server, Reference Time Distributing Server, Time Certifying Method, Reference Time Distributing Method, Time Certifying Program, and Communication Protocol Program