Formal Verification of Cryptographic Protocol for Secure RFID System
Hyun-Seok Kim, Jung-Hyun Oh, Ju-Bae Kim, Yeon-Oh Jeong +1 more
20082008 Fourth International Conference on Networked Computing and Advanced Information Management5 citations
Semantic Scholar

