Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif. Model-Driven Testing of Security Protocols with SecureMDD. In Albert Levi, Mohamad Badra, Matteo Cesana, Mona Ghassemian, Özgür Gürbüz, Nafaâ Jabeur, Marek Klonowski, Antonio Maña, Susana Sargento, Sherali Zeadally, editors, 5th International Conference on New Technologies, Mobility and Security, Istanbul, Turkey, NTMS 2012, May 7-10, 2012. pages 1-5, IEEE, 2012. [doi]
@inproceedings{KatkalovMSBR12,
title = {Model-Driven Testing of Security Protocols with SecureMDD},
author = {Kuzman Katkalov and Nina Moebius and Kurt Stenzel and Marian Borek and Wolfgang Reif},
year = {2012},
doi = {10.1109/NTMS.2012.6208678},
url = {http://dx.doi.org/10.1109/NTMS.2012.6208678},
researchr = {https://researchr.org/publication/KatkalovMSBR12},
cites = {0},
citedby = {0},
pages = {1-5},
booktitle = {5th International Conference on New Technologies, Mobility and Security, Istanbul, Turkey, NTMS 2012, May 7-10, 2012},
editor = {Albert Levi and Mohamad Badra and Matteo Cesana and Mona Ghassemian and Özgür Gürbüz and Nafaâ Jabeur and Marek Klonowski and Antonio Maña and Susana Sargento and Sherali Zeadally},
publisher = {IEEE},
isbn = {978-1-4673-0229-6},
}