Vehicular Ad Hoc Networks (VANETs) are an important component of intelligent transportation systems, which are set to become part of global transportation infrastructure in the near future. In the context of such networks, security requirements need to rely on a combination of reputation of communicating agents and trust relations over the messaging framework. This is crucial in order to maintain dynamic and safe behaviour under all circumstances. Formal correctness, resolution of contradictions and proven safety of transitive operations in the presence of reputation and trust within the infrastructure remain mostly unexplored issues. This could lead to potentially disastrous situations, putting lives at risk. In this paper we provide a proof-theoretic interpretation of a reputation and trust model for VANET. This allows for formal verification through translation into the Coq proof assistant, and can guarantee consistency of messaging protocols and security of transitive transmissions.

A proof-theoretic trust and reputation model for VANET / G. Primiero, F. Raimondi, T. Chen, R. Nagarajan - In: 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)[s.l] : IEEE, 2017. - ISBN 9781538622445. - pp. 146-152 (( Intervento presentato al 2. convegno IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) tenutosi a Paris nel 2017.

A proof-theoretic trust and reputation model for VANET

G. Primiero;
2017

Abstract

Vehicular Ad Hoc Networks (VANETs) are an important component of intelligent transportation systems, which are set to become part of global transportation infrastructure in the near future. In the context of such networks, security requirements need to rely on a combination of reputation of communicating agents and trust relations over the messaging framework. This is crucial in order to maintain dynamic and safe behaviour under all circumstances. Formal correctness, resolution of contradictions and proven safety of transitive operations in the presence of reputation and trust within the infrastructure remain mostly unexplored issues. This could lead to potentially disastrous situations, putting lives at risk. In this paper we provide a proof-theoretic interpretation of a reputation and trust model for VANET. This allows for formal verification through translation into the Coq proof assistant, and can guarantee consistency of messaging protocols and security of transitive transmissions.
Settore M-FIL/02 - Logica e Filosofia della Scienza
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
07966984.pdf

non disponibili

314.12 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
PID4645933.pdf

accesso aperto

370.06 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/700181
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 7
social impact