Ahto Buldas Peeter Laud Märt Saarepera Jan Willemson Universally Composable Time-Stamping Schemes with Audit. 359-373 2005 conf/isw/2005 ISC http://dx.doi.org/10.1007/11556992_26 db/conf/isw/isc2005.html#BuldasLSW05