Verifying privacy enhanced mail functions with higher order logic.

Dan Zhou Shiu-Kai Chin

Published in: Network Threats (1996)

Keyphrases

higher order logic
higher order
email
conditional logic
privacy preserving
sensitive information
theorem prover
logical framework
differential privacy
artificial intelligence
pairwise
probabilistic model
graphical models
incomplete information