Provided by: University of Peloponnese
Topic: Big Data
Date Added: Aug 2013
The ability to reason about changes in a distributed system's state enables network administrators to better diagnose protocol mis-configurations, detect intrusions, and pinpoint performance bottlenecks. The authors propose a novel provenance model called Distributed Time-aware Provenance (DTaP) that aids forensics and debugging in distributed systems by explicitly representing time, distributed state, and state changes. Using a distributed Datalog abstraction for modeling distributed protocols, they prove that the DTaP model provides a sound and complete representation that correctly captures dependencies among events in a distributed system.