ProvMark: A Provenance Expressiveness Benchmarking System

Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo Seltzer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

3 Citations (Scopus)
85 Downloads (Pure)

Abstract

System level provenance is of widespread interest for applications such as security enforcement and information protection. However, testing the correctness or completeness of provenance capture tools is challenging and currently done manually. In some cases there is not even a clear consensus about what behavior is correct. We present an automated tool, ProvMark, that uses an existing provenance system as a black box and reliably identifies the provenance graph structure recorded for a given activity, by a reduction to subgraph isomorphism problems handled by an external solver. ProvMark is a beginning step in the much needed area of testing and comparing the expressiveness of provenance systems. We demonstrate ProvMark’s usefuless in comparing three capture systems with different architectures and distinct design philosophies.
Original languageEnglish
Title of host publicationMiddleware '19
Subtitle of host publicationProceedings of the 20th International Middleware Conference
PublisherAssociation for Computing Machinery (ACM)
Pages268–279
Number of pages12
ISBN (Print)978-1-4503-7009-7
DOIs
Publication statusPublished - 1 Dec 2019
EventACM/IFIP International Middleware Conference - Davis, United States
Duration: 9 Dec 201913 Dec 2019
http://2019.middleware-conference.org/

Conference

ConferenceACM/IFIP International Middleware Conference
Abbreviated titleMiddleware2019
Country/TerritoryUnited States
CityDavis
Period9/12/1913/12/19
Internet address

Structured keywords

  • Cyber Security

Fingerprint

Dive into the research topics of 'ProvMark: A Provenance Expressiveness Benchmarking System'. Together they form a unique fingerprint.

Cite this