Formal Aspects of Security and Trust | Kaicus Deutschland