Boeken over Hash-chain based protocols for time-stamping and secure logging: formats, analysis and design