Login / Signup
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties.
Ross Horne
Published in:
CoRR (2018)
Keyphrases
</>
privacy preserving
desirable properties
multiresolution
database
data sets
neural network
multiscale
access control
structural properties
privacy preserving data mining