31 search results - page 7 / 7 » Formal Verification of Privacy for RFID Systems |
CCS
2006
ACM
13 years 9 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...