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]

Authors

Kuzman Katkalov

This author has not been identified. Look up 'Kuzman Katkalov' in Google

Nina Moebius

This author has not been identified. Look up 'Nina Moebius' in Google

Kurt Stenzel

This author has not been identified. Look up 'Kurt Stenzel' in Google

Marian Borek

This author has not been identified. Look up 'Marian Borek' in Google

Wolfgang Reif

This author has not been identified. It may be one of the following persons: Look up 'Wolfgang Reif' in Google