Login / Signup

An Efficient Message Transmission and Verification Scheme for VANETs.

Kunal BajajTrupil LimbasiyaDebasis Das
Published in: ICDCIT (2020)
Keyphrases
  • message transmission
  • bi directional
  • high security
  • model checking
  • formal methods
  • data stream mining