Sign in

A Proof-Theoretic Trust and Reputation Model for VANET.

Giuseppe PrimieroFranco RaimondiTaolue ChenRajagopal 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