234 search results - page 33 / 47 » Proof Nets and the Identity of Proofs |
149
click to vote
SSS
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We present schemes for providing anonymous transactions while privacy and anonymity are preserved, providing user anonymous authentication in distributed networks such as...
174
Voted
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We extend the Camenisch-Lysyanskaya anonymous credential system such that selective disclosure of attributes becomes highly efficient. The resulting system significantly improves ...
149
click to vote
COMPUTING
2007
15 years 6 months ago
2007
In this paper a class of subdivision schemes generalizing the algorithm of Loop is presented. The stencils have the same support as those from the algorithm of Loop, but allow a v...
144
click to vote
ACISP
2007
Springer
16 years 8 days ago
2007
Springer
We propose the first single sign-on system in which a user can access services using unlinkable digital pseudonyms that can all be revoked in case she abuses any one service. Our ...
140
click to vote
ESWS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...