Formal model of certificate omission schemes in VANET.

Michael Feiri Jonathan Petit Frank Kargl

Published in: VNC (2014)

Keyphrases

formal model
vehicular ad hoc networks
formal models
public key encryption
neural network
predicate calculus
security properties
data sets