Designated Attribute-Based Proofs for RFID Applications.
Gergely AlpárLejla BatinaWouter LueksPublished in: RFIDSec (2012)
Keyphrases
- rfid technology
- theorem proving
- radio frequency identification rfid
- radio frequency identification
- low cost
- equational theories
- rfid tags
- supply chain
- rfid reader
- mathematical proofs
- theorem prover
- formal proof
- supply chain management
- rfid systems
- multi agent
- formal proofs
- genetic algorithm
- decision trees
- search engine