Verification of Distributed Epistemic Gossip Protocols.
Krzysztof R. AptDominik WojtczakPublished in: J. Artif. Intell. Res. (2018)
Keyphrases
- cooperative
- multi party
- multi agent
- cryptographic protocols
- distributed systems
- real time
- computer networks
- fault tolerant
- database replication
- face verification
- distributed data
- distributed environment
- distributed database systems
- computing environments
- model checking
- communication overhead
- key distribution
- lightweight
- distributed network
- peer to peer