Ju-Bae Kim

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Hyun Seok Kim, Jung-Hyun Oh, Ju-Bae Kim, Yeon-Oh Jeong, Jin-Young Choi
Formal Verification of Cryptographic Protocol for Secure RFID System. NCM (2) (2008)