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 Sibylle Schupp,

Summary : N/A