118
click to vote
IFIP11
2004
15 years 4 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...