Media type: E-Book Title: Composition and Declassification in Possibilistic Information Flow Security Other titles: Komposition und Deklassifikation in possibilistischer Informationsflusssicherheit Contributor: Bauereiß, Thomas [Verfasser]; Hutter, Dieter [Akademischer Betreuer]; Hutter, Dieter [Gutachter]; Beckert, Bernhard [Gutachter] imprint: Bremen: Staats- und Universitätsbibliothek Bremen, 2019 Extent: Online-Ressource Language: English Identifier: Keywords: information flow control, Bounded Deducibility, compositionality, formal verification, confidentiality, distributed social media platforms, workflow management systems, safety properties, separation of duty Origination: University thesis: Dissertation, Bremen, Universität Bremen, 2019 Footnote: Access State: Open Access