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