201 search results - page 1 / 41 » Inferring authentication tags |
POPL
2005
ACM
14 years 4 months ago
2005
ACM
We present PEAR (Protocol Extendable AnalyzeR), a tool automating the two static analyses for authentication protocols presented in [7, 8]. These analyses are based on a tagging s...
SOUPS
2009
ACM
13 years 11 months ago
2009
ACM
User-to-tag authentication can prevent a variety of potential attacks on personal RFID tags. In this poster, a new RFID authentication scheme is presented that allows a user to co...
JCM
2008
13 years 4 months ago
2008
Two effective attacks, namely de-synchronization attack and impersonation attack, against Ha et al. 's LCSS RFID authentication protocol, Song and Mitchell's protocol are...
ENTCS
2007
13 years 4 months ago
2007
Signcryption tag-KEM (Key Encapsulation Mechanism with a tag) is an authenticated tag-KEM for generic construction of hybrid signcryption. Signcryption tagKEM allows the sender to...
PERCOM
2006
ACM
14 years 4 months ago
2006
ACM
Security and privacy in RFID systems is an important and active research area. A number of challenges arise due to the extremely limited computational, storage and communication a...