A Real-Time Audit Mechanism Based on the Compression Technique
Compression of Individual Sequences via Variable-Rate Coding