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:

Optionen (nur für Redakteure)

View Item View Item