Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 2020 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-030-57043-9 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000123420 |
Erschienen in | Security Protocols XXVII – 27th International Workshop, Cambridge, UK, April 10–12, 2019, Revised Selected Papers. Ed.: J. Anderson |
Verlag | Springer International Publishing |
Seiten | 20–40 |
Serie | Lecture Notes in Computer Science ; 12287 |
Vorab online veröffentlicht am | 21.08.2020 |
Nachgewiesen in | Dimensions Scopus |