Abdallah, A.E.2022-03-022022-03-0220033-540-20693-0978-3-540-20693-4https://publica.fraunhofer.de/handle/publica/139576Formal aspects of security