Concurrently-secure credential ownership proofs.

Siamak Fayyaz Shahandashti Reihaneh Safavi-Naini Joonsang Baek

Published in: AsiaCCS (2007)

Keyphrases

security analysis
mobile rfid
user privacy
access control
security requirements
security issues
security mechanisms
theorem prover
theorem proving
identity management
data encryption
lightweight
security services
rfid middleware
equational theories
mathematical proofs