947 search results - page 6 / 190 » Provable Implementations of Security Protocols |
FSE
2008
Springer
13 years 10 months ago
2008
Springer
PERCOM
2005
ACM
14 years 8 months ago
2005
ACM
The biggest challenge for RFID technology is to provide benefits without threatening the privacy of consumers. Many solutions have been suggested but almost as many ways have been...
MYCRYPT
2005
Springer
14 years 2 months ago
2005
Springer
CCS
2008
ACM
13 years 10 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
POST
2012
12 years 4 months ago
2012
Abstract. We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some th...