Skip to main content

Technical Reports: CMU-CyLab-13-008

Title:Continuous Tamper-proof Logging using TPM2.0 (Revised June 16, 2014)
Authors:Paul England, Limin Jia, James Lorch, and Arunesh Sinha
Publication Date:July 9, 2013

Abstract

Auditing system logs is an important means of ensuring systems' security in situations where run-time security mechanisms are not sufficient to completely prevent potentially malicious activities. A fundamental requirement for reliable auditing is the integrity of the log entries. This paper presents an infrastructure for secure logging that is capable of detecting the tampering of logs by powerful adversaries residing on the device where logs are generated. We rely on novel features of trusted hardware (TPM) to ensure the continuity of the logging infrastructure across power cycles without help from a remote server. Our infrastructure also addresses practical concerns including how to handle high-frequency log updates, how to conserve disk space for storing logs, and how to efficiently verify an arbitrary subset of the log. Importantly, we formally state the tamper-proofness guarantee of our infrastructure and verify that our basic secure logging protocol provides the desired guarantee. To demonstrate that our infrastructure is practical, we implement a prototype and evaluate its performance.

Full Report: CMU-CyLab-13-008

Related Project : Techniques for Compositional Security: Foundations, Mechanized Reasoning and Applications