| 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 |