1490 search results - page 45 / 298 » The Logic of Authentication Protocols |
IACR
2011
12 years 8 months 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 ...
EUC
2007
Springer
14 years 2 months ago
2007
Springer
This paper proposes a low-cost and strong-security RFID protocol to reduce the computational load on both the back-end database and the tags in an RFID system. When desynchronizati...
CSFW
2000
IEEE
14 years 11 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...
SPC
2005
Springer
14 years 2 months ago
2005
Springer
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classi...
ICC
2007
IEEE
14 years 19 days ago
2007
IEEE
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...