A proof-theoretic trust and reputation model for VANET
Conference paper
Primiero, G., Raimondi, F., Chen, T. and Nagarajan, R. 2017. A proof-theoretic trust and reputation model for VANET. S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. Paris, France 29 Apr 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 146-152 https://doi.org/10.1109/EuroSPW.2017.64
Type | Conference paper |
---|---|
Title | A proof-theoretic trust and reputation model for VANET |
Authors | Primiero, G., Raimondi, F., Chen, T. and Nagarajan, R. |
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. |
Research Group | Foundations of Computing group |
Conference | S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection |
Page range | 146-152 |
ISBN | |
Hardcover | 9781538622445 |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Publication dates | |
29 Apr 2017 | |
Online | 03 Jul 2017 |
Publication process dates | |
Deposited | 19 Jun 2017 |
Accepted | 23 Jan 2017 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | © 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
Additional information | S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, held in conjunction with the 2nd International Symposium on Security and Privacy EuroS&P 2017 |
Digital Object Identifier (DOI) | https://doi.org/10.1109/EuroSPW.2017.64 |
Language | English |
Book title | 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) |
https://repository.mdx.ac.uk/item/870qv
Download files
58
total views15
total downloads0
views this month0
downloads this month