Location-aided gateway advertisement and discovery protocol for VANets: Proof of correctness.
Azzedine BoukercheKaouther AbrouguiRichard Werner Nelem PazziPublished in: LCN (2009)
Keyphrases
- file transfer
- vehicular ad hoc networks
- correctness criterion
- data dissemination
- formal proof
- provably correct
- knowledge discovery
- multi path routing
- location based services
- communication protocols
- linear logic
- formal analysis
- tcp ip
- communication protocol
- scientific discovery
- cryptographic protocols
- location dependent
- data stream mining
- authentication protocol
- theorem prover
- end to end