Login / Signup
Batch-Assisted Verification Scheme for Reducing Message Verification Delay of the Vehicular Ad Hoc Networks.
Fan Wu
Xi Zhang
Cong Zhang
Xi Chen
Wenhao Fan
Yuanan Liu
Published in:
IEEE Internet Things J. (2020)
Keyphrases
</>
model checking
vehicular ad hoc networks
information sources
data sets
low complexity