Distributed Provers with Applications to Undeniable Signatures.
Torben P. PedersenPublished in: EUROCRYPT (1991)
Keyphrases
- distributed systems
- distributed environment
- lightweight
- fault tolerant
- mobile agents
- databases
- distributed architecture
- distributed data
- agent technology
- database systems
- decision trees
- website
- expert systems
- peer to peer
- multi agent
- theorem prover
- theorem proving
- artificial intelligence
- distributed computing
- neural network
- loosely coupled
- real time
- distributed processing