Aktuell:
26. Mai 2023
Erfolg für unsere Fachgruppe Produktentstehung

Das Team "Die Innovationsjäger" (Fachgruppe Produktentstehung) setzt sich zusammen mit Pfeil und Bogen gegen alle ...
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