Model-driven testing of security protocols with SecureMDD
| Author: | Kuzman Katkalov, Nina Moebius, Kurt StenzelGND, Marian Borek, Wolfgang ReifORCiDGND |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/54448 |
| ISBN: | 9781467302296OPAC |
| ISBN: | 9781467302289OPAC |
| ISBN: | 9781467302272OPAC |
| Parent Title (English): | 2012 5th International Conference on New Technologies, Mobility and Security (NTMS), 7-10 May 2012, Istanbul, Turkey |
| Publisher: | IEEE |
| Place of publication: | Piscataway, NJ |
| Editor: | Albert Levi, Mohamad Badra, Matteo Cesana, Mona Ghassemian, Özgür Gürbüz, Nafaâ Jabeur, Marek Klonowski, Antonio Maña, Susana Sargento, Sherali Zeadally |
| Type: | Part of a Book |
| Language: | English |
| Year of first Publication: | 2012 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2019/05/24 |
| DOI: | https://doi.org/10.1109/ntms.2012.6208678 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik |
