Quick access
News:
06. January 2021
„Menschen sind Maschinen immer unterlegen“: Laut Experten müssen wir das in Zukunft berücksichtigen

Wie kann die Zusammenarbeit von Mensch und Maschine am besten gestaltet werden? Dieser Frage widmen sich die Paderborner ...
Publikationen
Koch, Thorsten;Dziwok, Stefan;Holtmann, Jörg;Bodden, Eric:
Copy bibTeX to clipboard
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), Oct 18 - 23, 2020, ACMfiles
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},
}
Copy bibTeX to clipboard