Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2014 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-319-68062-0 ISSN: 0302-9743 urn:nbn:de:swb:90-819323 KITopen-ID: 1000081932 |
Erschienen in | 13th International Workshop, STM 2017, Oslo, Norway, September 14–15, 2017: Proceedings. Ed.: Giovanni Livraga, Chris Mitchell |
Verlag | Springer International Publishing |
Seiten | 188-192 |
Serie | Lecture Notes in Computer Science ; 8743 |
Bemerkung zur Veröffentlichung | In conjunction with the 22nd European Symposium Research in Computer Security, ESORICS 2017 |
Nachgewiesen in | Scopus |