A Proof-Theoretic Trust and Reputation Model for VANET.

Giuseppe Primiero Franco Raimondi Taolue Chen Rajagopal Nagarajan

Published in: EuroS&P Workshops (2017)

Keyphrases

trust model
high level
proof theoretic
probabilistic model
bayesian networks
search space
object oriented
model checking
default reasoning