Jorden Whitefield Liqun Chen 0002 Frank Kargl Andrew Paverd Steve A. Schneider Helen Treharne Stephan Wesemeyer Formal Analysis of V2X Revocation Protocols. 147-163 2017 STM https://doi.org/10.1007/978-3-319-68063-7_10 conf/stm/2017 db/conf/stm/stm2017.html#WhitefieldCKPST17