Proof-of-Travel: A Protocol for Trustworthy V2I Communication and Incentive Designs.
Dajiang SuoSanjay E. SarmaPublished in: VNC (2020)
Keyphrases
- communication protocol
- communication protocols
- formal proof
- tcp ip
- interprocess communication
- multi party
- group communication
- communication systems
- theorem proving
- formal analysis
- communication overhead
- communication networks
- lightweight
- protocol stack
- theorem prover
- cryptographic protocols
- state information
- communication cost
- free riding
- vehicular ad hoc networks
- messages exchanged
- wireless sensor networks