A Verifiable Distributed Oblivious Transfer Protocol.
Christian L. F. CorniauxHossein GhodosiPublished in: ACISP (2011)
Keyphrases
- lightweight
- distributed systems
- cooperative
- distributed environment
- multi agent
- group communication
- fault tolerant
- distributed computing
- network protocols
- sufficient conditions
- knowledge transfer
- commit protocols
- communication overhead
- communication protocol
- coloured petri nets
- neural network
- formal analysis
- distributed data
- database systems