1490 search results - page 35 / 298 » The Logic of Authentication Protocols |
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...
RFIDSEC
2010
13 years 6 months ago
2010
Authentication for low-cost Radio-Frequency IDentification (RFID) is a booming research topic. The challenge is to develop secure protocols using lightweight cryptography, yet ensu...
CISC
2005
Springer
14 years 2 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
EUC
2008
Springer
13 years 10 months ago
2008
Springer
With the rapid proliferation of client-to-client applications, PAKE (password authenticated key exchange) protocols in the client-to-client setting become increasingly important. ...
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
Recently, there has been an increased focus and a sense of urgency in developing standards for Power Grid systems centered on the need for interoperability. Given the threat again...