Formal Verification of Cryptographic Protocol for Secure RFID System.
Hyun Seok KimJung-Hyun OhJu-Bae KimYeon-Oh JeongJin-Young ChoiPublished in: NCM (2) (2008)
Keyphrases
- cryptographic protocols
- formal verification
- model checking
- security properties
- model checker
- bounded model checking
- symbolic model checking
- automated verification
- low cost
- rfid tags
- rfid technology
- radio frequency identification
- radio frequency identification rfid
- program slicing
- standard model
- rfid systems
- encryption decryption