000 Informatik, Informationswissenschaft, allgemeine Werke
Refine
Year of publication
Document Type
- Doctoral Thesis (24)
- Article (8)
- Conference Proceeding (1)
- Report (1)
Has Fulltext
- yes (34)
Is part of the Bibliography
- no (34)
Keywords
- Privatsphäre (2)
- Abfragesprache (1)
- Active Learning (1)
- Allianz Aktiengesellschaft (1)
- Alltagsdigitalisierung (1)
- Anfragerelaxation (1)
- Armut (1)
- Artificial Intelligence (1)
- Avionik (1)
- Bildverarbeitung (1)
- Browser Security (1)
- Chip (1)
- Complex Sentences (1)
- Complexification (1)
- Computed Tomography (1)
- Computersicherheit (1)
- Critical Infrastructures (1)
- Datamining (1)
- Datenbanksprache (1)
- Datenbanksystem (1)
- Datensicherung (1)
- Datenverarbeitung (1)
- Discrete space search (1)
- Eingebettetes System (1)
- Entwicklungshilfe (1)
- Ethnografie (1)
- Functional relationships (1)
- GDPR (1)
- Game Theory (1)
- Gebäudeleittechnik (1)
- Graph-based database models (1)
- Graphenzeichnen (1)
- Hierarchische Klassi (1)
- IFC Store (1)
- IIoT (1)
- IT-Sicherheit (1)
- Image processing (1)
- Indistinguishability (1)
- Indonesia (1)
- Indonesien (1)
- Industrial Networks (1)
- Industry Foundation Classes (1)
- Intelligentes Stromnetz (1)
- Interactive (1)
- Interdisziplinarität (1)
- Internet der Dinge (1)
- Internet of Things (1)
- Internet of Things (IoT) (1)
- Klassifikation (1)
- Klassifikation / Bibliothek (1)
- Klassifikationstheorie (1)
- Knowledge Graph (1)
- LoRaWAN (1)
- Machine learning (1)
- Mikrofinanzierung (1)
- Mikroversicherung (1)
- NFV (1)
- NLP, Argument Mining, Argument Quality Assessment, Financial Argumentation, Earnings Conference Calls (1)
- Network Function Virtualization (1)
- Network Virtualization (1)
- O-Minimality (1)
- O-Minimalität (1)
- Open Information Extraction (1)
- Petri Nets, Blockchain, Security (1)
- Preparation Theorems (1)
- Privacy (1)
- Programmverifikation (1)
- Property graph (1)
- Relational database model (1)
- Restricted Log-Exp-Analytic Functions (1)
- Risikomanagement (1)
- Risk Attitude (1)
- Rule Mining (1)
- SFC (1)
- Search Engine (1)
- Security Management (1)
- Segmentation (1)
- Semantic Interpretability (1)
- Semantic Representation (1)
- Sicherheit (1)
- Smart buildings (1)
- Software Engineering (1)
- Software performance (1)
- Softwarekonfiguration (1)
- Source code generation (1)
- Speicher <Informatik> (1)
- Spieltheorie (1)
- Spreading-Activation (1)
- Structural relationships (1)
- Suchmaschine (1)
- Syntactic Simplification (1)
- Systematische Aufstellung (1)
- Tamm's Theorem (1)
- Text Simplification (1)
- Textual Entailment (1)
- Time Sensitive Networking (1)
- Typologie (1)
- Uncertainty (1)
- Unlinkability (1)
- VNE (1)
- Versicherung (1)
- Virtual Network Embedding (1)
- Web Security (1)
- WebRTC (1)
- Wirkungsanalyse (1)
- Wissenschaftsklassifikation (1)
- Wissenschaftsordnung (1)
- Wissensordnung (1)
- Workflow-Aware Access Control for the Internet of Things (1)
- accurate estimation (1)
- adaptive configuration (1)
- battery modeling (1)
- battery state variables (1)
- classification (1)
- cost minimization (1)
- credit life (1)
- data-driven approach (1)
- day-ahead planning (1)
- deep Q-Network (1)
- deep q-learning (1)
- deep reinforcement learning (1)
- dueling deep q-networks (1)
- energy storage (1)
- hierarchische Strukturen (1)
- impact (1)
- knowledge (1)
- legal factors (1)
- machine learning (1)
- microinsurance (1)
- parameter optimization (1)
- postMessage (1)
- preference language (1)
- privacy (1)
- real dataset (1)
- redox-flow battery (1)
- reinforcement learning (1)
- räumlich (1)
- sciences (1)
- smart EV charging (1)
- software verification, model checking, counterexample guided abstraction refinement, CEGAR, interpolation, sliced prefixes, refinement selection, value analysis, predicate analysis, CPAchecker, automatic, automated (1)
- thematisch (1)
- typology (1)
- usability (1)
- voltage prediction (1)
- waiting time (1)
During the last few years, the technological progress in collecting, storing and processing a large quantity of data for a reasonable cost has raised serious privacy issues. Privacy concerns many areas, but is especially important in frequently used services like search engines (e.g., Google, Bing, Yahoo!). These services allow users to retrieve relevant content on the Internet by exploiting their personal data. In this context, developing solutions to enable users to use these services in a privacy-preserving way is becoming increasingly important.
In this thesis, we introduce SimAttack an attack against existing protection mechanism to query search engines in a privacy-preserving way. This attack aims at retrieving the original user query. We show with this attack that three representative state-of-the-art solutions do not protect the user privacy in a satisfactory manner.
We therefore develop PEAS a new protection mechanism that better protects the user privacy. This solution leverages two types of protection: hiding the user identity (with a succession of two nodes) and masking users' queries (by combining them with several fake queries). To generate realistic fake queries, PEAS exploits previous queries sent by the users in the system.
Finally, we present mechanisms to identify sensitive queries. Our goal is to adapt existing protection mechanisms to protect sensitive queries only, and thus save user resources (e.g., CPU, RAM). We design two modules to identify sensitive queries. By deploying these modules on real protection mechanisms, we establish empirically that they dramatically improve the performance of the protection mechanisms.
A configurable system enables users to derive individual system variants based on a selection of configuration options. To cope with the often huge number of possible configurations, several analysis approaches (e.g., for verification of configurable systems) implement different strategies to account for configurability. One popular strategy—often applied in practice—is to use sampling (i.e.,analyzing only a subset of all system variants). While sampling reduces the analysis effort significantly, the information obtained is necessarily incomplete as some variants are not analyzed. A second strategy is to identify the common parts and the variable parts of a configurable system and analyze each part separately (called feature-based strategy). As a third strategy, researchers have begun to develop family-based analyses. Family-based approaches analyze the code base of a configurable system as a whole, rather than the individual variants or parts of the system, this way exploiting similarities among individual variants to reduce analysis effort. Each of these three strategies has advantages and disadvantages, which might even prevent its application (e.g., the family-based strategy typically needs much main memory). The goal of this thesis is to enable the efficient analysis of configuable systems, even if existing strategies fail (e.g., the family-based strategy, because of memory limitations). To this end, we designed a framework that models the key aspects of configurable-system analysis strategies, independent of their implementation and of the analyses techniques (e.g., type checking or model checking). Guided by our model, we developed a number of analysis strategies for configurable systems. To learn about advantages and disadvantages of individual strategies, we compared these in a series of empirical studies. In particular, we developed and evaluated a model-checking analysis and a data-flow analysis for configurable systems. One of our key findings is that family-based analysis outperforms most sampling heuristics with respect to analysis time, while being able to make definite statements about all variants of a configurable system. Furthermore, we identified advantages and disadvantages of analysis strategies and how to mitigate them by combining strategies. In our endeavor, we identified two key problems that are common to configurable-system analyses, and we developed supporting techniques to solve them. These techniques are general and are applicable beyond our research. In particular, we developed presence-condition simplification and variability encoding. Presence-condition simplification provides a simple method to reduce the size of the output or the internal data structure of configurable-systemanalyses. Variability encoding provides a means for transforming compile-time variability to run-time variability, which enables many family-based analyses.
Our key contributions are the model of analysis strategies for configurable systems and the corresponding empirical comparisons of strategies. Our findings are backed by empirical studies, which helped broaden the community knowledge on analyses of configurable systems (indicated by citations). For these evaluations, we prepared several subject systems, which have also been used already by other researchers. Furthermore, we developed several analysis tools and demonstrated their feasibility in practical application scenarios based on code from, for example, the Linux kernel. Our tools are based on variability-aware optimizations that enable levels of scalability on configurable systems that were not possible with other tools before.
This thesis analyses the social impact of Payung Keluarga, an obligatory enhanced credit life microinsurance product launched by Allianz in Indonesia in 2006. Payung Keluarga automatically insures micro-borrowers who take out microcredits from microfinance institutions. In case of death, the outstanding credit balance is canceled and the beneficiary receives twice the original loan as additional payout. Payung Keluarga was conceived to ameliorate the assumed post-mortem financial crisis of low-asset families. Through qualitative-explorative field research from 2006 until 2008 I investigated if this developmental intention was realized. It is the first impact analysis on microinsurance in Indonesia. In the research process, I took the position of an observing participant. As operational project leader for Allianz in Indonesia I was virtually doing research on my own work. The resulting challenge to research neutrality is primarily mitigated by the sobering to discerning social impact which was eventually revealed. The majority of insured were married female Muslim petty traders in urban and semi-urban areas around Jakarta. Socio-economically these women stand at the upper end of the low-asset stratum. Their husbands were generally the main bread-winners of the family, and it was mostly them who received the insurance payouts. It could therefore be said that Payung Keluarga benefited the main breadwinner instead of insuring him. The study found that norms of a moral economy are still exerting significant clout on the insured. The moral economy aims at providing “subsistence insurance” for all community members through an intricate collective system of balanced exchanges. The corresponding “premium” is a denouncement of self-interested material asset accumulation. Next to structural reasons, it was this moral restriction that saw the businesses of the women stagnate at low and socially inconspicuous levels. Payung Keluarga did not help to overcome the assumed post-mortem financial crisis. In reality, such crisis did not exist since community and family support among low-asset Muslim Indonesians is normally strong enough to largely provide for the bereft family. This support is driven by the perception of death as a collective risk in the light of the moral economy and hinged on principles of balanced reciprocity. For cultural and religious reasons, the beneficiaries used most of the insurance payouts for funeral ceremonies and repayment of informal debt. With the advent of Payung Keluarga familial post-mortem assistance has been reduced. Funeral costs also seem to have been inflated by the product. It has thereby promoted a long-term societal shift from equality-seeking balanced reciprocity towards status-seeking and socially diversifying general reciprocity. In effect, Payung Keluarga has attacked cooperative social cohesion head-on where it is still strongest in a rapidly modernizing Indonesian society. This discerning and unintended impact of Payung Keluarga is hardly offset by a positive increase in financial literacy among the insured. Furthermore, the effect on “peace of mind” on the insured is ambivalent: while most insured stated to feel safer, some declared to feel less secure with their obligatory coverage for fear of interference with divine predetermination. Its overall developmental impact can be literally described as “micro”. Instead of protecting the status-quo of the family, Payung Keluarga has assumed the role of an actor of social change. Not only because it has changed the funeral pattern of the beneficiaries, but also because it promotes a far-reaching conceptual paradigm shift from balanced reciprocity, which forms a core pillar of the insured’s social structure, towards general reciprocity. The thesis hypothesizes that with sufficient insurance coverage provided, the insured will increasingly opt out of the coercively egalitarian “subsistence insurance” system. Such opt out will allow the insured to pursue a more aggressive economic asset accumulation strategy, particularly in combination with micro-credit. For the individual, this can be seen as a “liberating fortune” that would induce more women to grow their businesses to significant sizes. In parallel, it would deal a blow to cooperative social cohesion. I propose to call this the “double fortune / double blow” dilemma of microfinance. Although this thesis is exemplary, some of its findings can be generalized: The impact of microinsurance is highly dependent on cultural, religious and socio-demographic context. Any microinsurance intervention concerned with social impact should be preceded by a thick contextualization going beyond the usual demand assessments. In turn, microinsurance likewise impacts context as an actor of ambivalent social change. The complex influence of context and the role of microinsurance as an actor of social change have so far been hardly discussed in the development discourse.
Die Einteilung der Wissenschaften - Analyse und Typologisierung von Wissenschaftsklassifikationen
(2003)
Die Arbeit diskutiert die vielfältigen Implikationen von Wissenschaftsklassifikationen und stellt eine Typologie zur Diskussion, mit deren Hilfe es möglich wird, Wissensklassifikationen hinsichtlich einer Vielzahl von Aspekte zu analysieren. Konkrete Beispiele aus der mehr als 2000 Jahre zurückreichenden Geschichte der Wissenschaftsklassifikation illustrieren dabei die Ergebnisse der Untersuchung. Sie dienen als Anschauungsmaterial, um mit ihren jeweils charakteristischen Problemlösungen die ihnen zugrunde liegenden Voraussetzungen zu untersuchen. Im Zentrum der Untersuchung lagen dabei aber die impliziten und expliziten Voraussetzungen konkreter Wissenschaftsklassifikationen. Die angestrebte Systematisierung macht den Verzicht auf eine historische Darstellung notwendig. Die systematisch geordnete Unersuchung in Verbindung mit dem chronologisch geordneten Anhang ermöglicht es dem Leser, Aufschlüsse über das Aufkommen und Verschwinden beherrschender wissenstheoretischer Ideen und über den Stand der Entwicklung der Wissenschaften zu einer gegebenen Epoche zu erschließen, sowie die darunter liegenden Strukturen zu erkennen. Obwohl also auf eine lineare historische Darstellung verzichtet wurde, stellt sich dem Leser dadurch ein kleiner, repräsentativer Überblick über ihre Geschichte dar, mit dessen Hilfe sich ihm die großen Entwicklungslinien erschließen.