Aktuell:
26. Januar 2023
Neujahrsempfang 2023

Am 19. Januar lud der Vorstand des Heinz Nixdorf Instituts seine Mitarbeiter*innen zum traditionellen Neujahrsempfang ...
Publikationen
Koch, Thorsten;Dziwok, Stefan;Holtmann, Jörg;Bodden, Eric:
BibTeX in die Zwischenablage kopieren
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers.
In: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), 18. - 23. Okt. 2020, ACMDateien
KDHB20_Preprint.pdfBibtex
@inproceedings{hniid=10142,
author = {Koch, Thorsten and Dziwok, Stefan and Holtmann, J{\"o}rg and Bodden, Eric},
title = {Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers},
booktitle = {ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)},
publisher = {ACM},
month = {18~-~23~} # oct,
year = {2020},
}
author = {Koch, Thorsten and Dziwok, Stefan and Holtmann, J{\"o}rg and Bodden, Eric},
title = {Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers},
booktitle = {ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)},
publisher = {ACM},
month = {18~-~23~} # oct,
year = {2020},
}
BibTeX in die Zwischenablage kopieren