Filtern
Erscheinungsjahr
- 2016 (86) (entfernen)
Dokumenttyp
- Dissertation (31)
- Ausgabe (Heft) zu einer Zeitschrift (19)
- Bachelorarbeit (13)
- Masterarbeit (13)
- Diplomarbeit (6)
- Konferenzveröffentlichung (2)
- Habilitation (1)
- Bericht (1)
Sprache
- Deutsch (50)
- Englisch (34)
- Mehrsprachig (1)
- Spanisch (1)
Schlagworte
- Vorlesungsverzeichnis (4)
- Raytracing (2)
- soil water repellency (2)
- Abwasser (1)
- Ad-hoc-Netz (1)
- Algorithmische Geometrie (1)
- Analytischer Hierarchieprozess (1)
- Animationsfilm (1)
- Archäologie (1)
- Articles for Deletion (1)
- Augmented Reality (1)
- Beaconless (1)
- Bedrohte Tiere (1)
- Begutachtung (1)
- Betriebspädagogik (1)
- Bewertungssystem (1)
- Big Five (1)
- Bildverarbeitung (1)
- Bildverstehen (1)
- Boden (1)
- Bounding Volume Hierarchie (1)
- Controlling (1)
- Core Self-Evaluations (1)
- Daphnia (1)
- Dialog (1)
- Diskurs (1)
- Dispositiv (1)
- Distanzfeld (1)
- Distributed Algorithm (1)
- Drahtloses Sensorsystem (1)
- Drahtloses vermachtes Netz (1)
- E-Participation (1)
- Ebener Graph (1)
- Echtzeit-Interaktion (1)
- Enterprise Architecture Framework (1)
- Entscheidungstheorie (1)
- Eurokrise (1)
- Evacuation modeling (1)
- Farbenlehre (1)
- Farbtheorie (1)
- Filmdarstellung (1)
- Filmfiguren (1)
- Filmgestalt (1)
- Finanzpolitik (1)
- Fiskalpolitik (1)
- Five Factor model (1)
- Flow decomposition (1)
- Foucault, Michel (1)
- Function Words (1)
- Führung (1)
- Gamebased (1)
- Gamebasiertheit (1)
- Genealogie (1)
- Geographic routing (1)
- Geometric spanner (1)
- Graph (1)
- Grundschule (1)
- Halbschatten (1)
- Haushaltspolitik (1)
- I-messages (1)
- IBM Bluemix (1)
- IT security analysis (1)
- IT-Security (1)
- Implizite Oberfläche (1)
- Indirekte Beleuchtung (1)
- Inhaltsanalyse (1)
- Kohärenz (1)
- Kommunikation (1)
- Komplexität / Algorithmus (1)
- Kultur (1)
- LIBS (1)
- Laserinduzierte Plasmaspektroskopie (1)
- Local algorithm (1)
- Macht (1)
- Maifisch (1)
- Management (1)
- Medialität (1)
- Medium (1)
- Messung der Ökoeffizienz (1)
- Metamodel (1)
- Meteor (1)
- Mustererkennung (1)
- Nachbarschaftsgraph (1)
- Netzwerktopologie (1)
- Nutzerzufriedenheit (1)
- OMW (1)
- Olivenölproduktion (1)
- Optimization (1)
- Planar graphs (1)
- Einbringen (1)
- Quantitative Inhaltsanalyse (1)
- Quasi unit disk graph (1)
- Rationalität (1)
- Ray Tracing (1)
- Reactive algorithm (1)
- Reference Model (1)
- Regieren (1)
- Rhein (1)
- Risiko (1)
- Robust Principal Component Analysis (1)
- Routing (1)
- Security Requirements (1)
- Semantic Web (1)
- Semantic Web Data (1)
- Servicepersonal (1)
- Southern Amazonia (1)
- Sozialgericht (1)
- Spektrale Bildgewinnung (1)
- Staatsschuldenkrise (1)
- Statistical Shape Model (1)
- Technology Acceptance Model (1)
- Tourism (1)
- Tourismus (1)
- Ultraschall (1)
- Umweltleistungsbewertung (1)
- Unit disk graph (1)
- Verteilter Algorithmus (1)
- Virtual Reality (1)
- Wanderfische (1)
- Wikipedia (1)
- Wireless sensor network (1)
- Wissen (1)
- Wäschereibranche (1)
- You-messages (1)
- Zeichentrickfilm (1)
- Zooplankton (1)
- Zusammenhängender Graph (1)
- area light (1)
- bait-lamina test (1)
- behavior of employers (1)
- biodegradation (1)
- cross-cultural psychology (1)
- decomposition (1)
- description logic (1)
- e-service quality (1)
- ecotoxicology (1)
- emic-etic (1)
- energetics (1)
- externe Repräsentationen (1)
- field experiment (1)
- flows over time (1)
- fluid disturbances (1)
- fungicide (1)
- greenhouse gases (1)
- identification of organization (1)
- internet of things (1)
- iot development platforms (1)
- kinematics (1)
- land use change (1)
- line space (1)
- media competence model (1)
- mobile phones (1)
- modeling (1)
- multikriterielles Bewertungssystem (1)
- olive mill wastewater (1)
- olive oil mill wastewater (1)
- personality characteristics (1)
- pesticide (1)
- phenolic compounds (1)
- privacy and personal data (1)
- privacy competence model (1)
- privacy protection (1)
- problemhaltige Textaufgaben (1)
- rationality (1)
- raytracing (1)
- reasoning (1)
- reputation of company (1)
- risk (1)
- security awareness (1)
- sensor data (1)
- social networks (1)
- social system (1)
- soft shadow (1)
- soils (1)
- soziales System (1)
- stationäre Pflege (1)
- stream (1)
- swarming (1)
- swimming behaviour (1)
- thermal analysis (1)
- traffic survey (1)
- virtual reality (1)
- water re-use (1)
- zooplankton (1)
- Öko-Effizienz (1)
- Ökoeffizienz (1)
Institut
Die (un-)kontrollierte Ausbringung von Abwasser aus der Olivenölproduktion (OMW) kann sich sowohl positiv als auch negativ auf die Bodenqualität auswirken. Dabei stellt unter anderem die Verringerung der Benetzbarkeit des Bodens infolge der Ausbringung ein schwerwiegendes Problem dar. Die Auswirkungen der Ausbringung von Abwässern aus der Olivenölproduktion auf Böden zu charakterisieren und die Mechanismen zu untersuchen, die in Verbindung mit der Veränderung der Qualität der organischen Substanz in Abhängigkeit der klimatischen Bedingungen zu einer verringerten Benetzbarkeit des Bodens führen, war Ziel dieser Arbeit. Zu diesem Zweck wurden in Form einer Screening-Studie die Qualität der organischen Bodensubstanz sowie positive und negative Effekte unkontrollierter Ausbringungen bestimmt. Anschließend wurde ein OMW-behandelter, toniger Lehmboden bei vier unterschiedlichen Bodenfeuchten- und Temperaturen inkubiert und ein Feldexperiment in Israel durchgeführt, um die Auswirkungen der OMW-Ausbringung in Abhängigkeit der klimatischen Bedingungen zu untersuchen. Im Fokus stand dabei die Hypothese, dass unter nass-heißen Bedingungen aufgrund eines zügigen Abbaus der organischen Substanz kaum negative Auswirkungen zu erwarten waren. Zur Überprüfung dieser Hypothese wurden neben allgemeinen Bodenparametern (pH, elektr. Leitfähigkeit, Gesamtkohlenstoff, löslicher organischer Kohlenstoff, spezifische UV-Absorption) phenolische Verbindungen, Kohlenstoffisotopenverhältnis, Wassereindringzeit und Kontaktwinkel sowie thermische Stabilität und Brennwert der labilen und stabilen Kohlenstofffraktion ermittelt.
Zusammenfassend wurde festgestellt, dass die verringerte Benetzbarkeit OMW-behandelter Böden entsprechend dem vorgeschlagenen Mechanismus von den klimatischen Bedingungen und damit dem Ausbringungszeitpunkt abhängt. Unter trocken-heißen Bedingungen war die Benetzbarkeit des Bodens sowohl im Feld als auch im Labor am stärksten beeinträchtigt. Die thermische Analyse zeigt, dass hierfür wahrscheinlich Substanzen der stabilen Kohlenstofffraktion mit erhöhtem Brennwert verantwortlich sind. Mit höherer Temperatur und insbesondere höherer Bodenfeuchte wurde ein zunehmender Abbau der organischen Substanz des OMW in Verbindung mit einer verbesserten Benetzbarkeit beobachtet. Jedoch kann eine zu intensive Bewässerung oder starker Niederschlag, z.B. im Winter, zu einer Auswaschung von phenolischen Inhaltsstoffen des OMW führen, welche eine Gefährdung des Grundwassers darstellen können.
Gleichzeitig hat eine Ausbringung positive Effekte auf den Boden, z.B. durch Zufuhr organischer und anorganischer Nährstoffe. Aufgrund der Ergebnisse stellt die kontrollierte Ausbringung von OMW eine alternative, kostengünstige und nachhaltige Abfallverwendung in Form von Dünger dar. Jedoch sollte, anstatt des bisherigen Ausbringungszeitraumes Winter, das OMW gelagert und erst nach dem letzten Niederschlag am besten unter regelmäßiger Bewässerung ausgebracht werden, um negative Auswirkungen auf den Boden zu vermeiden und von den positiven Effekten zu profitieren.
Uniprisma Ausg. 2011
(2016)
This habilitation thesis collects works addressing several challenges on handling uncertainty and inconsistency in knowledge representation. In particular, this thesis contains works which introduce quantitative uncertainty based on probability theory into abstract argumentation frameworks. The formal semantics of this extension is investigated and its application for strategic argumentation in agent dialogues is discussed. Moreover, both the computational as well as the meaningfulness of approaches to analyze inconsistencies, both in classical logics as well as logics for uncertain reasoning is investigated. Finally, this thesis addresses the implementation challenges for various kinds of knowledge representation formalisms employing any notion of inconsistency tolerance or uncertainty.
Die Bereitstellung elektronischer Beteiligungsverfahren (E-Partizipation) ist ein komplexes sozio-technisches Unterfangen, das eine sorgfältige Vorgehensweise erfordert. Die Herausforderung ist, dass Regierungen oder Kommunalverwaltungen, als häufigste Anbieter, bei der ganzheitlichen Planung und Umsetzung nur unzureichend unterstützt werden. Infolgedessen beschreibt die Literatur nur wenige E-Partizipationsangebote als erfolgreich. Die Wirtschaftsinformatik entwickelte das Konzept der Enterprise Architectures um die Entwicklung komplexer sozio-technischer Systeme zu unterstützen. Versteht man die Gruppe an Organisationen, die E-Partizipationsverfahren bereitstellt nun als Enterprise, so können die Prinzipien von Enterprise Architectures angewendet werden. Nichtsdestotrotz wurde dieser Ansatz in der E-Partizipationspraxis und –Forschung bisher kaum beachtet.
Motiviert durch diese Forschungslücke, untersucht die Dissertation bestehende Ansätze aus der E-Partizipationspraxis und –Forschung auf Besonderheiten und Schwachstellen, um anschließend den Nutzen bestehender Rahmenwerke für Enterprise Architectures im Kontext von E-Partizipation zu analysieren. Die Literaturstudie überprüft sowohl konzeptionelle als auch prozedurale Ansätze aus Praxis und Wissenschaft auf ihre Ganzheitlichkeit und identifiziert die Herausforderungen. Im Rahmen von vier Projekten wird das Vorgehen beim Entwurf und der Umsetzung von elektronisch unterstützten Beteiligungsverfahren dokumentiert und ausgewertet sowie Verbesserungspotenziale aufgezeigt. Enterprise Architecture Frameworks (Zachman Framework, TOGAF, DoDAF, FEA, ARIS, und ArchiMate) werden auf Anforderungen und Nützlichkeit für E-Partizipation untersucht. Die Ergebnisse zeigen die Herausforderungen bei der Übernahme existierender Enterprise Architecture Frameworks, aber auch das Potential einer Kombination aus speziellen Ansätzen für E-Partizipation mit Enterprise Architectures auf. Folglich ist das Ziel der weiteren Forschung die Entwicklung eines Architekturrahmenwerks für E-Partizipation.
Die vorliegende Dissertation führt die Ergebnisse der Literaturstudien und Aktionsforschung zusammen und wendet dementsprechend Konstruktionsforschung (Design Science Research) bei der Entwicklung des E-Participation Architecture Framework (EPART-Framework) an. Die initiale Version dieses Rahmenwerks wird in zwei unterschiedlichen Umgebungen angewandt und getestet. Die Erkenntnisse führen zu dem EPART-Framework, das in dieser Dissertation vorgestellt wird. Es besteht aus dem EPART-Metamodel, das E Partizipation aus sechs verschiedenen Perspektiven unterschiedlicher Akteure (den sog. EPART-Viewpoints) betrachtet. Die EPART-Method unterstützt den Entwurf und die Umsetzung von E-Partizipation mit Hilfe des EPART-Frameworks. Sie beschreibt fünf, durch Anforderungsmanagement begleitete, Phasen: Initiierung, Entwurf, Umsetzung, Partizipation und Evaluation. Die Ergebnisse während diesen Phasen werden in der Architekturbeschreibung (Architecture Description) und dem Solution Repository gespeichert. Das finale EPART-Framework wird im Rahmen der Arbeit evaluiert, um Empfehlungen für die Anwendung sowie weiteren Forschungsbedarf aufzuzeigen. Die Ergebnisse geben Grund zur Annahme, dass das EPART-Framework die Lücke zwischen E-Partizipation und Enterprise Architectures füllt und Forschung und Praxis in dem Feld wertvoll ergänzt.
One of the main goals of the artificial intelligence community is to create machines able to reason with dynamically changing knowledge. To achieve this goal, a multitude of different problems have to be solved, of which many have been addressed in the various sub-disciplines of artificial intelligence, like automated reasoning and machine learning. The thesis at hand focuses on the automated reasoning aspects of these problems and address two of the problems which have to be overcome to reach the afore-mentioned goal, namely 1. the fact that reasoning in logical knowledge bases is intractable and 2. the fact that applying changes to formalized knowledge can easily introduce inconsistencies, which leads to unwanted results in most scenarios.
To ease the intractability of logical reasoning, I suggest to adapt a technique called knowledge compilation, known from propositional logic, to description logic knowledge bases. The basic idea of this technique is to compile the given knowledge base into a normal form which allows to answer queries efficiently. This compilation step is very expensive but has to be performed only once and as soon as the result of this step is used to answer many queries, the expensive compilation step gets worthwhile. In the thesis at hand, I develop a normal form, called linkless normal form, suitable for knowledge compilation for description logic knowledge bases. From a computational point of view, the linkless normal form has very nice properties which are introduced in this thesis.
For the second problem, I focus on changes occurring on the instance level of description logic knowledge bases. I introduce three change operators interesting for these knowledge bases, namely deletion and insertion of assertions as well as repair of inconsistent instance bases. These change operators are defined such that in all three cases, the resulting knowledge base is ensured to be consistent and changes performed to the knowledge base are minimal. This allows us to preserve as much of the original knowledge base as possible. Furthermore, I show how these changes can be applied by using a transformation of the knowledge base.
For both issues I suggest to adapt techniques successfully used in other logics to get promising methods for description logic knowledge bases.
Augmented Reality besitzt viele denkbare Anwendungsbereiche, in denen Alltag oder Arbeitsprozesse vereinfacht werden können. Dadurch, dass viele Hersteller sehr unterschiedliche Augmented Reality Brillen anbieten, wird die Auswahl des richtigen Systems und eine systemübergreifende Entwicklung jedoch erschwert. Im Rahmen dieser Bachelorarbeit wird daher eine Anwendung entwickelt, mit der Augmented Reality Brillen auf einem Virtual Reality System simuliert werden können. Damit soll eine plattformübergreifende Entwicklung sowie die Auswahl des richtigen Systems vereinfacht werden.
Da die Simulation für mobile Endgeräte konzipiert werden soll, sollen möglichst realistische Umgebungen als Panorama vorgerendert werden können. Um diese auf Virtual Reality Systemen als stereoskopische Bilder darstellen zu können, werden verschiedene Verfahren zur Konvertierung in solche vorgestellt. Es wird ein Editor entwickelt, mit dem verschiedene Szenarien erstellt, Augmented Reality Systeme konfiguriert und schließlich auf einem Virtual Reality System angezeigt werden können. Abschließend wird untersucht, wie gut die Simulation gelungen ist und welche Verbesserungsmöglichkeiten es gibt.
Das Ziel dieser Arbeit war es, durch agentenbasierte Simulation die Unfall- und Verkehrsmodellierung von Oman (Muskat City) unter theoretischen Annahmen darzustellen. TRASS sollte als Grundlage für die Simulationsumgebung genommen werden. Zusätzlich sollten mögliche Gegenmaßnahmen in Bezug auf die hohe Unfallrate vorgeschlagen werden können, die sich durch unterschiedliche Simulationsvarianten ergeben.
Ob die theoretischen Annahmen durch die Simulation in der Realität tatsächlich eine Anwendung finden und umgesetzt werden sollen, war nicht Teil dieser Arbeit.
Zu prüfen war es noch, ob sich drei verschiedene Simulationsvarianten durch die Simulation mit TRASS unterschiedlich darstellen lassen. Die drei Varianten wurden aufgeteilt in Simulationsablauf mit Ampelsteuerung, ohne Ampelsteuerung und schließlich mit Ampelsteuerung, die aber mit einer Wahrscheinlichkeit von 70% ignorieret werden soll. Alle drei Varianten konnten unterschiedliche Ergebnisse liefern. Es wurde gezeigt, dass alle drei Varianten Vor- und Nachteile im Bezug auf Verkehrsfluss und Unfallrate haben.
Nicht zu vernachlässigen ist die Tatsache, dass in dieser Arbeit ausschließlich mit TRASS-Framework modelliert, analysiert und ausgewertet wurde. Alle Potenziale und Defizite fließen somit in den Gesamtrahmen dieser Arbeit ein. Daher ist nach kritischer Betrachtung diese Aussage nur aus einem Blickwinkel betrachtet worden: Zu Grunde lagen die theoretischen Annahmen von Oman und die Modelliergrenzen von TRASS. Um eine vielversprechende Aussage über die tatsächliche Umsetzung der Vorschläge machen zu können, bedarf es noch weitere umfassende Analysen und Simulationen in weitaus größerem Variantenumfang des Verkehrs für Oman.
Reaktiv lokale Algorithmen sind verteilte Algorithmen, die den Anforderungen großer, batteriebetriebener, Drahtloser Ad Hoc und Sensornetzwerke im besonderen Maße gerecht werden. Durch Vermeidung überflüssiger Nachrichtenübertragungen sowie Verzicht auf proaktive Ermittlung von Nachbarschaftstabellen (d.h. beaconing) minimieren solche Algorithmen den Kommunikationsaufwand und skalieren gut bei wachsender Netzgröße. Auf diese Weise werden Ressourcen wie Bandbreite und Energie geschont, es kommt seltener zu Nachrichtenkollisionen und dadurch zu einer Erhöhung der Paketempfangsrate, sowie einer Reduktion der Latenzen.
Derzeit wird diese Algorithmenklasse hauptsächlich für Geografisches Routing, sowie zur Topologiekontrolle, insbesondere zur Ermittlung der Adjazenzliste eines Knotens in zusammenhängenden, kantenschnittfreien (planaren) Repräsentationen des Netzgraphen, eingesetzt. Ersteres ermöglicht drahtlose multi-hop Kommunikation auf Grundlage von geografischen Knotenpositionen ohne Zuhilfenahme zusätzlicher Netzwerkinfrastruktur, wohingegen Letzteres eine hinreichende Grundlage für effiziente, lokale Lösungen einer Reihe algorithmischer Problemstellungen ist.
Die vorliegende Dissertation liefert neue Erkenntnisse zum Forschungsgebiet der reaktiven Algorithmen, zum Einen auf einer abstrakten Ebene und zum Anderen durch die Einführung neuer Algorithmen.
Erstens betrachtet diese Arbeit reaktive Algorithmen erstmalig im Ganzen und als eigenständiges Forschungsfeld. Es wird eine umfangreiche Literaturstudie zu dieser Thematik präsentiert, welche die aus der Literatur bekannten Algorithmen, Techniken und Anwendungsfelder systematisch auflistet, klassifiziert und einordnet. Weiterhin wird das mathematische Konzept der O- und Omega-reaktiv lokalen Topologiekontrolle eingeführt. Dieses Konzept ermöglicht erstmals die eindeutige Unterscheidung reaktiver von konventionellen, beacon-basierten, verteilten Topologiekontrollalgorithmen. Darüber hinaus dient es als Klassifikationsschema für existierende, sowie zukünftige Algorithmen dieser Art. Zu guter Letzt ermöglicht dieses Konzept grundlegende Aussagen über die Mächtigkeit des reaktiven Prinzips, welche über Entwurf und Analyse von Algorithmen hinaus reichen.
Zweitens werden in dieser Arbeit neue reaktiv lokale Algorithmen zur Topologiekontrolle und Geografischem Routing eingeführt, wobei drahtlose Netze durch Unit Disk bzw. Quasi Unit Disk Graphen modelliert werden. Diese Algorithmen berechnen für einen gegebenen Knoten die lokale Sicht auf zusammenhängende, planare, Euklidische bzw. Topologische Spanner mit konstanter Spannrate bzgl. des Netzgraphen und routen Nachrichten reaktiv entlang der Kanten dieser Spanner, wobei die Nachrichtenauslieferung garantiert wird. Alle bisher bekannten Verfahren sind entweder nicht reaktiv oder gewährleisten keine konstanten Euklidischen oder Topologischen Spannraten. Ein wesentliches Teilergebnis dieser Arbeit ist der Nachweis, dass die partielle Delaunay Triangulierung (PDT) ein Euklidischer Spanner mit konstanter Spannrate für Unit Disk Graphen ist.
Die in dieser Dissertation gewonnenen Erkenntnisse bilden die Basis für grundlegende und strukturierte Forschung auf diesem Gebiet und zeigen, dass das reaktive Prinzip ein wichtiges Werkzeug des Algorithmenentwurfs für Drahtlose Ad Hoc und Sensornetzwerke ist.
Immer häufiger kommt es zum Einsatz von Servicepersonal in Krankenhäusern und anderen pflegerischen Einrichtungen um dem Fachkräftemangel in der Pflege zu kompensieren. Die vorliegende Arbeit zeigt eine Kompatibilität von Tätigkeiten von Servicepersonal und Professionstheorien der Pflege, sowie einen Lernbedarf für Servicepersonal im Setting der stationären Pflege im Krankenhaus.
Pflegeexperten sind der Meinung, dass ein Einsatz von Servicepersonal, das in der Lage ist, durch definierte Tätigkeiten und Anforderungen Pflegepersonal zu unterstützen, notwendig ist. Zur Entwicklung von Handlungskompetenz für ausgewählte Tätigkeiten bietet ein situatives, tätigkeitsbezogenes Anforderungsprofil, gegliedert nach dem Kompetenzmodell in persönliche, soziale, methodische und fachliche Kompetenz, eine Grundlage für eine Bildungsmaßnahme für Servicepersonal.
Die Erkenntnisse dieser Arbeit tragen einen Teil dazu bei, den gegenwärtigen und künftigen Herausforderungen der Pflege gewachsen zu sein.
Confidentiality, integrity, and availability are often listed as the three major requirements for achieving data security and are collectively referred to as the C-I-A triad. Confidentiality of data restricts the data access to authorized parties only, integrity means that the data can only be modified by authorized parties, and availability states that the data must always be accessible when requested. Although these requirements are relevant for any computer system, they are especially important in open and distributed networks. Such networks are able to store large amounts of data without having a single entity in control of ensuring the data's security. The Semantic Web applies to these characteristics as well as it aims at creating a global and decentralized network of machine-readable data. Ensuring the confidentiality, integrity, and availability of this data is therefore also important and must be achieved by corresponding security mechanisms. However, the current reference architecture of the Semantic Web does not define any particular security mechanism yet which implements these requirements. Instead, it only contains a rather abstract representation of security.
This thesis fills this gap by introducing three different security mechanisms for each of the identified security requirements confidentiality, integrity, and availability of Semantic Web data. The mechanisms are not restricted to the very basics of implementing each of the requirements and provide additional features as well. Confidentiality is usually achieved with data encryption. This thesis not only provides an approach for encrypting Semantic Web data, it also allows to search in the resulting ciphertext data without decrypting it first. Integrity of data is typically implemented with digital signatures. Instead of defining a single signature algorithm, this thesis defines a formal framework for signing arbitrary Semantic Web graphs which can be configured with various algorithms to achieve different features. Availability is generally supported by redundant data storage. This thesis expands the classical definition of availability to compliant availability which means that data must only be available as long as the access request complies with a set of predefined policies. This requirement is implemented with a modular and extensible policy language for regulating information flow control. This thesis presents each of these three security mechanisms in detail, evaluates them against a set of requirements, and compares them with the state of the art and related work.