Lightweight Zero-Knowledge Proofs for Crypto-Computing Protocols.

Sven Laur Bingsheng Zhang

Published in: IACR Cryptol. ePrint Arch. (2013)

Keyphrases

lightweight
domain knowledge
authentication protocol
knowledge management
knowledge base
expert systems
knowledge representation
rfid tags
knowledge acquisition
domain experts
handheld devices
communication infrastructure
wireless sensor networks
theorem prover
theorem proving