Home > Publications > Publikationen

Publikationen

Koch, Thorsten;Dziwok, Stefan;Holtmann, Jörg;Bodden, Eric:

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

files

KDHB20_Preprint.pdf



Bibtex

@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},
}

Copy bibTeX to clipboard

Permalink

https://www.hni.uni-paderborn.de/pub/10142