Towards Semantics for Provenance Security

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.

• Type: Journal
• Year: 2009
• Where: FAST
• Authors: Stephen Chong
• Keywords: FAST 2009, Operating System, Provenance, Provenance Information, Semantic Definitions