378 search results - page 18 / 76 » Security Protocol Design via Authentication Tests |
86
Voted
IACR
2011
14 years 19 hour ago
2011
Abstract. In this paper, we analyze the security of AZUMI protocol which is compliant with the EPCClass-1 Generation-2 standard and recently has been proposed by Peris et al. This ...
106
Voted
MMSEC
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we propose a secure biometric based authentication scheme which fundamentally relies on the use of a robust hash function. The robust hash function is a one-way tra...
98
Voted
SOUPS
2009
ACM
15 years 6 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...
CORR
2008
Springer
15 years 14 days ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
115
click to vote
ASIACRYPT
2001
Springer
15 years 4 months ago
2001
Springer
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...