A proof-theoretic trust and reputation model for VANET