copyright reference: Thomas Ott / TU Darmstadt


Formal Analysis of V2X Revocation Protocols

Author Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve Schneider, Helen Treharne, Stephan Wesemeyer
Date September 2017
Kind Inproceedings
Book titleSecurity and Trust Management _ 13th International Workshop, STM 2017, Proceedings
Research Areas ICRI-SC
[Export this entry to BibTeX]

Important Copyright Notice:

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.