Offline RFID Grouping Proofs with Trusted Timestamps.
Cunqing MaJingqiang LinYuewu WangMing ShangPublished in: TrustCom (2012)
Keyphrases
- low cost
- real time
- supply chain
- rfid technology
- radio frequency identification
- data collection
- mathematical proofs
- formal proofs
- grouping algorithm
- radio frequency identification rfid
- theorem proving
- perceptual grouping
- computer programs
- anti collision
- rfid tags
- theorem prover
- news articles
- distributed environment
- temporal information
- network connection
- rfid middleware
- mathematical knowledge
- cost effective
- missing data
- equational theories
- learning algorithm