We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed sys-tem. Network provenance describes the history and derivations of network state that result from the execution of a distributed proto-col. It has broad applicability in the management, diagnosis, and security analysis of networks. Our demonstration shows the use of NetTrails for maintaining and querying network provenance in a variety of distributed settings, ranging from declarative networks to unmodified legacy distributed systems. We conclude our demon-stration with a discussion of our ongoing research on enhancing the query language and security guarantees. Categories and Subject Descriptor
We present a unified declarative platform for specifying, implementing, and analyzing secure network...
This paper introduces secure network provenance (SNP), a novel technique that enables networked syst...
Diagnosing and repairing problems in complex distributed systems has always been challenging. A wide...
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network ...
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network ...
Network accountability, forensic analysis, and failure diagnosis are becoming increasingly important...
Network accountability, forensic analysis, and failure diagnosis are becoming increasingly important...
In recent years, network accountability and forensic analysis have become increasingly important, as...
In recent years, network accountability and forensic analysis have become increasingly important, as...
In large-scale networks, many things can go wrong: routers can be misconfigured, programs can be bug...
In large-scale networks, many things can go wrong: routers can be misconfigured, programs can be bug...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
Network accountability and forensic analysis have become increasingly important, as a means of perfo...
The ability to reason about changes in a distributed system’s state enables network administrators t...
In this paper, we present a unified declarative platform for specifying, implementing, analyzing and...
We present a unified declarative platform for specifying, implementing, and analyzing secure network...
This paper introduces secure network provenance (SNP), a novel technique that enables networked syst...
Diagnosing and repairing problems in complex distributed systems has always been challenging. A wide...
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network ...
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network ...
Network accountability, forensic analysis, and failure diagnosis are becoming increasingly important...
Network accountability, forensic analysis, and failure diagnosis are becoming increasingly important...
In recent years, network accountability and forensic analysis have become increasingly important, as...
In recent years, network accountability and forensic analysis have become increasingly important, as...
In large-scale networks, many things can go wrong: routers can be misconfigured, programs can be bug...
In large-scale networks, many things can go wrong: routers can be misconfigured, programs can be bug...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
Network accountability and forensic analysis have become increasingly important, as a means of perfo...
The ability to reason about changes in a distributed system’s state enables network administrators t...
In this paper, we present a unified declarative platform for specifying, implementing, analyzing and...
We present a unified declarative platform for specifying, implementing, and analyzing secure network...
This paper introduces secure network provenance (SNP), a novel technique that enables networked syst...
Diagnosing and repairing problems in complex distributed systems has always been challenging. A wide...