341 search results - page 26 / 69 » Security and Privacy on Authentication Protocol for Low-Cost... |
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
We propose a novel entity authentication approach for pervasive computing environments. A person uses a single device, the Master Key, which aggregates all his digital forms of ac...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
ACSAC
1999
IEEE
14 years 1 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
CSFW
2000
IEEE
14 years 14 days ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
CCS
2009
ACM
14 years 9 months ago
2009
ACM
In this paper, we present a new ID-based two-party authenticated key exchange (AKE) protocol, which makes use of a new technique called twin Diffie-Hellman problem proposed by Cas...