Formal Analysis of V2X Revocation Protocols

Erstveröffentlichung
2017Authors
Whitefield, Jorden
Chen, Liqun
Kargl, Frank
Paverd, Andrew
Schneider, Steve
Beitrag zu einer Konferenz
Published in
Security and Trust Management (STM 2017). - Cham : Springer, 2017. - (Lecture Notes in Computer Science ; 10547). - S. 147-163. - ISBN 978-3-319-68063-7, ISBN 978-3-319-68062-0. - ISSN 0302-9743. - eISSN 1611-3349
Link to publication
https://dx.doi.org/10.1007/978-3-319-68063-7_10Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Verteilte SystemeConference
13th International Workshop on Security and Trust Management (STM), 2017-09-14 - 2017-09-15, Oslo, Norway