Verification of Privacy Preserving Authentication Protocol for VANETs
| Autor: | Shekhar Verma, Shruti Keshari, Geetam Singh Tomar, Brijesh Kumar Chaurasia |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Challenge-Handshake Authentication Protocol
Authentication Computer science business.industry Reliability (computer networking) Cryptography Promela Authentication protocol Message authentication code business Protocol (object-oriented programming) computer computer.programming_language Computer network |
| Zdroj: | 2010 International Conference on Computational Intelligence and Communication Networks. |
| DOI: | 10.1109/cicn.2010.58 |
| Popis: | The paper presents verification of privacy preserving authentication protocol for VANETs using SPIN tool. The authentication process involves authentication of the moving vehicle and the corresponding road side unit (RSU) by a fixed infrastructure from (CTA) through RSU. The whole process needs only one request and reply between different entities. The work described the impact of known attack on the protocol, graphically specification, its behavior in terms of reliability and its correctly verification using the integrated specification verifying JSPIN tool. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|