Towards semantics for provenance security

  • Authors:
  • Stephen Chong

  • Affiliations:
  • School of Engineering and Applied Sciences, Harvard University

  • Venue:
  • TAPP'09 First workshop on on Theory and practice of provenance
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Provenance records the history of data. Careless use of provenance may violate the security policies of data. Moreover, the provenance itself may be sensitive information, necessitating restrictions on the use of both data and provenance to enforce security requirements. This paper proposes extensional semantic definitions for provenance security. The semantic definitions require that provenance information released to the user does not reveal confidential data, and that neither the provenance information given to the user, nor the program's output, reveal sensitive provenance information.