Epistemic Verification of Anonymity.

Jan van Eijck Simona Orzan

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

model checking
computation tree logic
signature verification
verification method
belief change
case study
temporal logic
privacy protection