195 search results - page 23 / 39 » Security and Privacy Using One-Round Zero-Knowledge Proofs |
106
click to vote
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
172
click to vote
SRDS
2010
IEEE
14 years 9 months ago
2010
IEEE
Entities (e.g., users, services) have to authenticate themselves to service providers (SPs) in order to use their services. An entity provides personally identifiable information (...
ESORICS
2007
Springer
15 years 3 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
ACSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...
ESORICS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...