Publications
Formal Analysis of V2X Revocation Protocols
| Author | Whitefield, Jorden; Chen, Liqun; Kargl, Frank; Paverd, Andrew; Schneider, Steve; Treharne, Helen; Wesemeyer, Stephan |
|---|---|
| Date | 2017 |
| Type | Conference Proceedings |
| Isbn | 9783319680620 |
| In | Security and Trust Management _ 13th International Workshop, STM 2017, Proceedings |
| Partn | TUD-CS-2017-0279 |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/99298 |
