Skip to content

ProvMark: A Provenance Expressiveness Benchmarking System

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationMiddleware '19
Subtitle of host publicationProceedings of the 20th International Middleware Conference
Publisher or commissioning bodyAssociation for Computing Machinery (ACM)
Pages268–279
Number of pages12
ISBN (Print)978-1-4503-7009-7
DOIs
DateAccepted/In press - 12 Sep 2019
DatePublished (current) - 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
CountryUnited States
CityDavis
Period9/12/1913/12/19
Internet address

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.

    Structured keywords

  • Cyber Security

Event

ACM/IFIP International Middleware Conference

Abbreviated titleMiddleware2019
Duration9 Dec 201913 Dec 2019
CityDavis
CountryUnited States
Web address (URL)
Degree of recognitionInternational event

Event: Conference

Download statistics

No data available

Documents

Documents

  • Full-text PDF (accepted author manuscript)

    Rights statement: This is the author accepted manuscript (AAM). The final published version (version of record) is available online via ACM at https://dl.acm.org/doi/abs/10.1145/3361525.3361552. Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 902 KB, PDF document

DOI

View research connections

Related faculties, schools or groups