A secure timestamp client/server in SPARK