3115 search results - page 306 / 623 » Synthesizing Secure Protocols |
153
click to vote
IACR
2011
14 years 6 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
183
click to vote
WPES
2003
ACM
15 years 12 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
147
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces the XTR public key system. XTR is based on a new method to represent elements of a subgroup of a multiplicative group of a finite field. Application of XTR ...
169
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper considers the problem of key agreement in a group setting with highly-dynamic group member population. A protocol suite, called CLIQUES, is developed by extending the w...
152
click to vote
ACNS
2005
Springer
16 years 7 days ago
2005
Springer
Typical protocols for password-based authentication assume a single server which stores all the information (e.g., the password) necessary to authenticate a user. Unfortunately, a...