Login / Signup
Automatically Proving Purpose Limitation in Software Architectures.
Kai Bavendiek
Tobias Mueller
Florian Wittner
Thea Schwaneberg
Christian-Alexander Behrendt
Wolfgang Schulz
Hannes Federrath
Sibylle Schupp
Published in:
SEC (2019)
Keyphrases
</>
information technology
software architecture
description language
software engineering
automatically generated
software systems
reference model
data sets
embedded software
architectural design
security requirements
databases
product line
distributed systems
database systems
real world
reference architecture