Automatically Proving Purpose Limitation in Software Architectures

Presented at IFIPSEC 2019 by

Hannes Federrath

Tobias Mueller

Kai Bavendiek

Florian Wittner

Thea Schwaneberg

Christian-alexander Behrendt

Wolfgang Schulz

And Schupp