102 search results - page 12 / 21 » Security Analysis and Fix of an Anonymous Credential System |
SWS
2006
ACM
15 years 3 months ago
2006
ACM
Single sign-on is critical for the usability of distributed systems. While there are several authentication mechanisms which support single sign-on (e.g. Kerberos and X.509), it m...
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Information theory provides a range of useful methods to analyse probability distributions and these techniques have been successfully applied to measure information flow and the ...
96
Voted
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Location-hidden services, as offered by anonymity systems such as Tor, allow servers to be operated under a pseudonym. As Tor is an overlay network, servers hosting hidden service...
106
click to vote
MINENET
2006
ACM
15 years 3 months ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
94
Voted
CCS
2008
ACM
14 years 11 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...