Privacy-aware dynamic coalitions

Sarrouh, Nadim

Privacy-aware dynamic coalitions

dc.contributor.advisor	Nestmann, Uwe	en
dc.contributor.author	Sarrouh, Nadim	en
dc.contributor.grantor	Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik	en
dc.contributor.referee	Nestmann, Uwe	en
dc.contributor.referee	Mahr, Bernd	en
dc.contributor.referee	Schieferdecker, Ina	en
dc.date.accepted	2014-04-01
dc.date.accessioned	2015-11-20T23:34:30Z
dc.date.available	2014-09-22T12:00:00Z
dc.date.issued	2014-09-22
dc.date.submitted	2014-06-27
dc.description.abstract	Diese Dissertation behandelt die Definition datenschutzkritischer, dynamischer Koalitionen anhand eines formalen Rahmenwerks, basierend auf dem Abstract State Machine (ASM) Formalismus. Zu diesem Zweck wurden zuerst elementare dynamische Koalitionen definiert und dann mit verschiedenen Zugriffskontrollmechanismen erweitert um Datenschutz-erzwingende Operationen in die Informationsaustauschprozesse der Koalitionen zu integrieren. Das resultierende Rahmenwerk besteht aus einer Anzahl von ASM-Modellen, welche sowohl elementare dynamische Koalitionen als auch dynamische Koalitionen mit identitätsbasierter (IBAC), rollen- basierter (RBAC), attributbasierter (ABAC) oder vertrauensbasierter (TBAC) Zugriffskontrolle definieren, wobei jede jeweils fü̈r dynamische Koalitionen mit unterschiedlichen Mitgliedschaftsdynamiken Anwendung finden. Die These dieser Arbeit konstatiert, dass das vorgeschlagene Rahmenwerk das Verständnis und die Entwicklung von Software für diese Koalitionen während der typischen Phasen eines Softwareentwicklung-Phasenmodells unterstützt: Anforderungsanalyse, detaillierter Entwurf, Validierung und Dokumentation. Die These wurde in zwei Fallstudien validiert, welche die Korrektheit der These durch die Anwendung des Rahmenwerks in zwei Szenarien aus dem Medizinsektor untersuchen. Die Ergebnisse zeigen, das die These für die beiden Fallstudien gültig ist und liefern außerdem Auskunft darüber, wie das Rahmenwerk benutzt werden kann um eine Brücke zu schlagen zwischen dem Verständnis von Softwareentwicklern und Domainexperten, wie etwa jene Ärzte die bei der Erstellung der hier präsentierten Fallstudienmodelle mitgewirkt haben.	de
dc.description.abstract	This dissertation deals with the definition of privacy-aware dynamic coalitions by means of a formal framework, based on the Abstract State Machine (ASM) formalism. To this end, basic dynamic coalitions were defined and then extended with various access control mechanisms in order to integrate privacy-enforcing operations into the coalition’s information sharing processes. The resulting framework consists of a number of ASM models, which define basic dynamic coalitions as well as dynamic coalitions with identity-based access control (IBAC), role-based access control (RBAC), attribute-based access control (ABAC) and trust-based access control (TBAC) with each one applying to dynamic coalitions of different membership dynamics. The thesis of this work states, that the proposed framework supports the understanding and the development of software for these coalitions throughout the typical software engineering life cycle: requirement capture, detailed design, validation and documentation. The thesis is validated in two case studies, which investigate the correctness of the thesis through the application of the framework in two dynamic coalition scenarios taken from the medical sector. The results show that the thesis holds for the presented case studies and gives insight also into how the model may be used to bridge the gap of understanding between software engineers and domain experts such as the medical doctors who contributed in the creation of the case study models presented in this work.	en
dc.identifier.uri	urn:nbn:de:kobv:83-opus4-53955
dc.identifier.uri	https://depositonce.tu-berlin.de/handle/11303/4396
dc.identifier.uri	http://dx.doi.org/10.14279/depositonce-4099
dc.language	English	en
dc.language.iso	en	en
dc.rights.uri	https://creativecommons.org/licenses/by-nc-nd/3.0/de/	en
dc.subject.ddc	000 Informatik, Informationswissenschaft, allgemeine Werke	en
dc.subject.other	Abstrakte Zustandsmaschinen	de
dc.subject.other	Datenschutz	de
dc.subject.other	Dynamische Koalitionen	de
dc.subject.other	Formale Methoden	de
dc.subject.other	Zugriffskontrolle	de
dc.subject.other	Abstract State Machines	en
dc.subject.other	access control	en
dc.subject.other	dynamic coalitions	en
dc.subject.other	formal methods	en
dc.subject.other	privacy	en
dc.title	Privacy-aware dynamic coalitions	en
dc.title.subtitle	A formal framework	en
dc.title.translated	Datenschutz-Kritische Dynamische Koalitionen	de
dc.title.translatedsubtitle	ein formales Rahmenwerk	de
dc.type	Doctoral Thesis	en
dc.type.version	publishedVersion	en
tub.accessrights.dnb	free	*
tub.affiliation	Fak. 4 Elektrotechnik und Informatik::Inst. Softwaretechnik und Theoretische Informatik	de
tub.affiliation.faculty	Fak. 4 Elektrotechnik und Informatik	de
tub.affiliation.institute	Inst. Softwaretechnik und Theoretische Informatik	de
tub.identifier.opus4	5395
tub.publisher.universityorinstitution	Technische Universität Berlin	en

Files

Original bundle

Now showing 1 - 1 of 1

Name:: sarrouh_nadim.pdf
Size:: 3.71 MB
Format:: Adobe Portable Document Format

Download

Collections

Publications