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 |


