Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve Schneider, Helen Treharne, Stephan Wesemeyer. Formal Analysis of V2X Revocation Protocols. In Giovanni Livraga, Chris J. Mitchell, editors, Security and Trust Management - 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings. Volume 10547 of Lecture Notes in Computer Science, pages 147-163, Springer, 2017. [doi]
Abstract is missing.