TU Darmstadt / ULB / TUbiblio

Formal Analysis of V2X Revocation Protocols

Whitefield, Jorden and Chen, Liqun and Kargl, Frank and Paverd, Andrew and Schneider, Steve and Treharne, Helen and Wesemeyer, Stephan (2017):
Formal Analysis of V2X Revocation Protocols.
In: Security and Trust Management _ 13th International Workshop, STM 2017, Proceedings, ISBN 9783319680620,
DOI: 10.1007/978-3-319-68063-7_10,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2017
Creators: Whitefield, Jorden and Chen, Liqun and Kargl, Frank and Paverd, Andrew and Schneider, Steve and Treharne, Helen and Wesemeyer, Stephan
Title: Formal Analysis of V2X Revocation Protocols
Language: German
Title of Book: Security and Trust Management _ 13th International Workshop, STM 2017, Proceedings
ISBN: 9783319680620
Uncontrolled Keywords: ICRI-SC
Divisions: Profile Areas > Cybersecurity (CYSEC)
Profile Areas
Date Deposited: 08 Nov 2017 12:22
DOI: 10.1007/978-3-319-68063-7_10
Identification Number: TUD-CS-2017-0279
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item