sentences:  An algorithm used to make datalogs secure from manipulation.The first infrastructure supporting the algorithm was available on the Internet in 2006.SecureLog involves an "active key provider", a "managed data store" and a "verification provider".