A core calculus for provenance.

Umut A. Acar Amal Ahmed James Cheney Roly Perera

Published in: J. Comput. Secur. (2013)

Keyphrases

metadata
neural network
machine learning
fine grained
algebraic structure
real time
data sets
provenance information
proof procedure
automated deduction
computer algebra