Degano, P.2022-03-022022-03-0220093-642-03458-6978-3-642-03458-9https://publica.fraunhofer.de/handle/publica/149354Foundations and applications of security analysis