Verifying Anonymous Credential Systems in Applied Pi Calculus.

Xiangxi Li Yu Zhang Yuxin Deng

Published in: CANS (2009)

Keyphrases

computer systems
management system
databases
intelligent systems
real time
social networks
e learning
query language
knowledge based systems
computing systems