Blockchain-based Mobility Verification of Connected Cars.

Carla-Fabiana Chiasserini Paolo Giaccone Giovanni Malnati Michele Macagno German Sviridov

Published in: CCNC (2020)

Keyphrases

model checking
signature verification
mobile agents
verification method
real time
artificial intelligence
formal analysis
formal verification
search algorithm
artificial neural networks
connected components
mobile networks
face verification
network connectivity
fingerprint verification
high security