TY  - RPRT
TI  - Formal Analysis of V2X Revocation Protocols
AU  - Jorden Whitefield
AU  - Liqun Chen
AU  - Frank Kargl
AU  - Andrew Paverd
AU  - Steve Schneider
AU  - Helen Treharne
AU  - Stephan Wesemeyer
PY  - 2017
UR  - https://arxiv.org/abs/1704.07216
ID  - 1704.07216
ER  -