Großmann, JürgenJürgenGroßmannSchneider, MartinMartinSchneiderViehmann, JohannesJohannesViehmann2022-03-052022-03-052017https://publica.fraunhofer.de/handle/publica/251030deTestSecurityModell004Modellbasiertes Security-Testenbook article