Documents Savoirs Integrated formal modeling and automated analysis of computer network attacks [Elektronische Ressource] / von Gerrit Rothmaier Gerrit Rothmaier