ProvMark: A Provenance Expressiveness Benchmarking System

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

doi:10.1145/3361525.3361552

ProvMark: A Provenance Expressiveness Benchmarking System

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

Department of Computer Science

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

7 Citations (Scopus)

191 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 language	English
Title of host publication	Middleware '19
Subtitle of host publication	Proceedings of the 20th International Middleware Conference
Publisher	Association for Computing Machinery (ACM)
Pages	268–279
Number of pages	12
ISBN (Print)	978-1-4503-7009-7
DOIs	https://doi.org/10.1145/3361525.3361552
Publication status	Published - 1 Dec 2019
Event	ACM/IFIP International Middleware Conference - Davis, United States Duration: 9 Dec 2019 → 13 Dec 2019 http://2019.middleware-conference.org/

Conference

Conference	ACM/IFIP International Middleware Conference
Abbreviated title	Middleware2019
Country/Territory	United States
City	Davis
Period	9/12/19 → 13/12/19
Internet address	http://2019.middleware-conference.org/

Research Groups and Themes

Cyber Security

Access to Document

10.1145/3361525.3361552

Full-text PDF (accepted author manuscript)
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

Handle.net

Persistent link

Cite this

@inproceedings{79a0035502524c2d84c416cc374ad7aa,

title = "ProvMark: A Provenance Expressiveness Benchmarking System",

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{\textquoteright}s usefuless in comparing three capture systems with different architectures and distinct design philosophies.",

author = "Chan, {Sheung Chi} and James Cheney and Pramod Bhatotia and Thomas Pasquier and Ashish Gehani and Hassaan Irshad and Lucian Carata and Margo Seltzer",

year = "2019",

month = dec,

day = "1",

doi = "10.1145/3361525.3361552",

language = "English",

isbn = "978-1-4503-7009-7",

pages = "268–279",

booktitle = "Middleware '19",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "ACM/IFIP International Middleware Conference, Middleware2019 ; Conference date: 09-12-2019 Through 13-12-2019",

url = "http://2019.middleware-conference.org/",

}

Chan, SC, Cheney, J, Bhatotia, P, Pasquier, T, Gehani, A, Irshad, H, Carata, L & Seltzer, M 2019, ProvMark: A Provenance Expressiveness Benchmarking System. in Middleware '19: Proceedings of the 20th International Middleware Conference. Association for Computing Machinery (ACM), pp. 268–279, ACM/IFIP International Middleware Conference, Davis, California, United States, 9/12/19. https://doi.org/10.1145/3361525.3361552

ProvMark: A Provenance Expressiveness Benchmarking System. / Chan, Sheung Chi; Cheney, James; Bhatotia, Pramod et al.
Middleware '19: Proceedings of the 20th International Middleware Conference. Association for Computing Machinery (ACM), 2019. p. 268–279.

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

TY - GEN

T1 - ProvMark

T2 - ACM/IFIP International Middleware Conference

AU - Chan, Sheung Chi

AU - Cheney, James

AU - Bhatotia, Pramod

AU - Pasquier, Thomas

AU - Gehani, Ashish

AU - Irshad, Hassaan

AU - Carata, Lucian

AU - Seltzer, Margo

PY - 2019/12/1

Y1 - 2019/12/1

N2 - 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.

AB - 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.

U2 - 10.1145/3361525.3361552

DO - 10.1145/3361525.3361552

M3 - Conference Contribution (Conference Proceeding)

SN - 978-1-4503-7009-7

SP - 268

EP - 279

BT - Middleware '19

PB - Association for Computing Machinery (ACM)

Y2 - 9 December 2019 through 13 December 2019

ER -

ProvMark: A Provenance Expressiveness Benchmarking System

Abstract

Conference

Research Groups and Themes

Access to Document

Handle.net

Fingerprint

Cite this