Towards Semantics for Provenance Security

Stephen Chong
2009 USENIX Conference on File and Storage Technologies  
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
more » ... nformation given to the user, nor the program's output, reveal sensitive provenance information.
dblp:conf/fast/Chong09 fatcat:4eabjh4s2ffcxgwyvh37low7u4