Automatic Verification of Privacy Properties in the Applied pi Calculus.

Stéphanie Delaune Mark Ryan Ben Smyth

Published in: IFIPTM (2008)

Keyphrases

real time
database
artificial intelligence
desirable properties
computer algebra
genetic algorithm
search engine
social networks
privacy preserving
data privacy
security risks