You are here
Formal Model of Certificate Omission Schemes in VANET
20. December 2014 - 23:44 — fkargl
| Title | Formal Model of Certificate Omission Schemes in VANET |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Feiri, M, Petit, J, Kargl, F |
| Conference Name | Proceedings of the IEEE Vehicular Networking Conference 2014 (VNC 2014) |
| Date Published | 12/2014 |
| Publisher | IEEE Communications Society |
| Conference Location | Paderborn, Germany |
| Keywords | Communication channels;Conferences;Packet loss;Receivers;Vehicles;Vehicular ad hoc networks;Analytical model;VANET;certificate omission;security |
| DOI | 10.1109/VNC.2014.7013307 |
- 1452 reads
- Google Scholar
- DOI
- BibTeX
Recent blog posts
- Informatik an Hamburger Schulen kein Pflichtfach mehr
- Tuning Mac OS Snow Leopard for SSD
- Deadline Extension IEEE WIVEC 2011
- Drupal 7
- 27. VDI/VW Gemeinschaftstagung Automotive Security
- Applications
- IEEE WiVEC 2011 - CfP
- Posters and Demos CfP - ACM WiSec 2011
- Resources on good presentation techniques
- Privacy in ITS Applications Workshop in Berlin
Recent Publications
- A resilient in-network aggregation mechanism for \{VANETs\} based on dissemination redundancy
- PUCA: A pseudonym scheme with strong privacy guarantees for vehicular ad-hoc networks
- Tales from the Dark Side: Privacy Dark Strategies and Privacy Dark Patterns
- Using Conflict-free Replicated Data Types for Serverless Mobile Social Applications
- Wireless Channel-Based Message Authentication
More...