Verified, Shared, Modular, and Provenance Based Research Communication with the Dat Protocol.
Chris HartgerinkPublished in: Publ. (2019)
Keyphrases
- communication protocol
- communication protocols
- tcp ip
- interprocess communication
- multi party
- lightweight
- communication infrastructure
- group communication
- sharing information
- communication networks
- vehicular ad hoc networks
- secure communication
- cryptographic protocols
- medium access control
- information exchange
- communication systems
- sharing knowledge
- protocol stack
- message delivery
- floor control
- modular structure
- state information
- application layer
- formal analysis
- communication channels
- communication cost
- fine grained