Single-bit re-encryption with applications to distributed proof systems.
Nikita BorisovKazuhiro MinamiPublished in: WPES (2007)
Keyphrases
- distributed systems
- distributed object
- management system
- distributed environment
- distributed computation
- computing systems
- complex systems
- building blocks
- multi agent
- knowledge based systems
- web services
- computing environments
- theorem prover
- communication cost
- computer systems
- data intensive
- encryption scheme
- heterogeneous environments
- cooperative