Automatically Proving Purpose Limitation in Software Architectures
Kai Bavendiek presents the paper Automatically Proving Purpose Limitation in Software Architectures at the 34th International Conference on Information Security and Privacy Protection (IFIP SEC2019) in Lisbon.
