Aldini, A.2022-03-022022-03-022014978-3-319-10081-4978-3-319-10082-1https://publica.fraunhofer.de/handle/publica/157036Foundations of security analysis and design VII