The University of Southampton
University of Southampton Institutional Repository

A canonical form for PROV documents and its application to equality, signature, and validation

A canonical form for PROV documents and its application to equality, signature, and validation
A canonical form for PROV documents and its application to equality, signature, and validation
We present a canonical form for PROV that is a normalized way of representing PROV documents as mathematical expressions. As opposed to the normal form specified by the PROV-CONSTRAINTS recommendation, the canonical form we present is defined for all PROV documents, irrespective of their validity, and it can be serialized in a unique way. The article makes the case for a canonical form for PROV and its potential uses, namely: comparison of PROV documents in different formats, validation, and signature of PROV documents. A signature of a PROV document allows the integrity and the author of provenance to be ascertained; since the signature is based on the canonical form, these checks are not tied to a particular encoding, but can be performed on any representation of PROV.
1533-5399
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8

Moreau, Luc (2017) A canonical form for PROV documents and its application to equality, signature, and validation ACM Transactions on Internet Technology, 17, (4) (doi:10.1145/3032990).

Record type: Article

Abstract

We present a canonical form for PROV that is a normalized way of representing PROV documents as mathematical expressions. As opposed to the normal form specified by the PROV-CONSTRAINTS recommendation, the canonical form we present is defined for all PROV documents, irrespective of their validity, and it can be serialized in a unique way. The article makes the case for a canonical form for PROV and its potential uses, namely: comparison of PROV documents in different formats, validation, and signature of PROV documents. A signature of a PROV document allows the integrity and the author of provenance to be ascertained; since the signature is based on the canonical form, these checks are not tied to a particular encoding, but can be performed on any representation of PROV.

Text prov-sig.pdf - Accepted Manuscript
Download (400kB)
Text prov-sig-supp.pdf - Other
Download (270kB)

More information

Accepted/In Press date: 12 December 2016
e-pub ahead of print date: 18 September 2017
Additional Information: Funded by EPSRC: The use of interactive electronic-books in the teaching and application of modern quantitative methods in the social sciences (ES/K007246/1)
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 404305
URI: http://eprints.soton.ac.uk/id/eprint/404305
ISSN: 1533-5399
PURE UUID: 10cd41d2-e5f6-4f46-aeb8-8cb2e8f481fe
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 04 Jan 2017 13:02
Last modified: 10 Jan 2018 05:06

Export record

Altmetrics

Contributors

Author: Luc Moreau ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff edit
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×