Security and privacy analysis of RFID systems using model checking

  • Hyun Seok Kim*
  • , Il Gon Kim
  • , Keun Hee Han
  • , Jin Young Choi
    • *Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1   Link opens in a new tab Citation (Scopus)

    Fingerprint

    Dive into the research topics of 'Security and privacy analysis of RFID systems using model checking'. Together they form a unique fingerprint.
    Sort by

    Keyphrases

    Computer Science