Formal Verification of Cryptographic Protocol for Secure RFID System

  • CHOI, Jin Young
제목
Formal Verification of Cryptographic Protocol for Secure RFID System
저자
CHOI, Jin Young
학회명
IEEE Proceeding of the NCM
학회 개최일
2008-09-02 ~ 2008-09-04