Non-interactive Distributed-Verifier Proofs and Proving Relations among Commitments.
Masayuki AbeRonald CramerSerge FehrPublished in: ASIACRYPT (2002)
Keyphrases
- distributed systems
- virtual reality
- distributed environment
- fault tolerant
- cooperative
- distributed architecture
- peer to peer
- genetic algorithm
- multi agent
- spatial relations
- multiagent systems
- user friendly
- theorem prover
- heterogeneous environments
- theorem proving
- agent technology
- communication overhead
- databases
- computing environments
- first order logic
- computer graphics
- mobile agents
- search algorithm
- learning algorithm