TY -
GEN
AU - Bauereiß, Thomas
AU - Hutter, Dieter
AU - Hutter, Dieter
AU - Beckert, Bernhard
TI -
Composition and Declassification in Possibilistic Information Flow Security
PB - Staats- und Universitätsbibliothek Bremen
KW - information flow control, Bounded Deducibility, compositionality, formal verification, confidentiality, distributed social media platforms, workflow management systems, safety properties, separation of duty
PY - 2019
CY - Bremen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -