作者: Cheng Tan , Lingfan Yu , Joshua B. Leners , Michael Walfish
关键词:
摘要: You put a program on concurrent server, but you don't trust the server; later, get trace of actual requests that server received from its clients and responses it delivered. separately logs these are untrusted. How can use to efficiently _verify_ were derived running requests? This is _Efficient Server Audit Problem_, abstracts real-world scenarios, including web application an untrusted provider. We give solution based several new techniques, simultaneous replay efficient verification executions. implement for PHP applications. For applications, our verifier achieves 5.6--10.9x speedup versus simply re-executing, with less than 10 percent overhead server.