Model-Driven Testing of Security Protocols with SecureMDD

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]

Abstract

Abstract is missing.