Realization of dynamic behavior using remotely verifiable n-call slides in Unix process execution trace.