Login / Signup
An Efficient Message Transmission and Verification Scheme for VANETs.
Kunal Bajaj
Trupil Limbasiya
Debasis Das
Published in:
ICDCIT (2020)
Keyphrases
</>
message transmission
bi directional
high security
model checking
formal methods
data stream mining