Publikationen
Formal Analysis of V2X Revocation Protocols
Autor | Whitefield, Jorden; Chen, Liqun; Kargl, Frank; Paverd, Andrew; Schneider, Steve; Treharne, Helen; Wesemeyer, Stephan |
---|---|
Datum | 2017 |
Art | Conference Proceedings |
ISBN | 9783319680620 |
In | Security and Trust Management _ 13th International Workshop, STM 2017, Proceedings |
Schlüssel | TUD-CS-2017-0279 |
Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/99298 |