Publikationen

Formal Analysis of V2X Revocation Protocols

AutorWhitefield, Jorden; Chen, Liqun; Kargl, Frank; Paverd, Andrew; Schneider, Steve; Treharne, Helen; Wesemeyer, Stephan
Datum2017
ArtConference Proceedings
ISBN9783319680620
InSecurity and Trust Management _ 13th International Workshop, STM 2017, Proceedings
SchlüsselTUD-CS-2017-0279
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/99298