Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Kryptographie und Sicherheit (IKS) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2005 |
Sprache | Englisch |
Identifikator | ISBN: 1-59593-231-3 KITopen-ID: 1000033174 |
Erschienen in | Proceeding FMSE '05 Proceedings of the 2005 ACM workshop on Formal methods in security engineering |
Verlag | Association for Computing Machinery (ACM) |
Seiten | 13-22 |