Suchergebnisse

The times when malware was mostly written by curious teenagers are long gone. Nowadays, threats come from criminals, competitors, and government agencies. Some of them are very skilled and very targeted in their attacks. At the same time, our devices – for instance mobile phones and TVs – have become more complex, connected, and open for the execution of third-party software. Operating systems should separate untrusted software from confidential data and critical services. But their vulnerabilities often allow malware to break the separation and isolation they are designed to provide. To strengthen protection of select assets, security research has started to create complementary machinery such as security hypervisors and separation kernels, whose sole task is separation and isolation. The reduced size of these solutions allows for thorough inspection, both manual and automated. In some cases, formal methods are applied to create mathematical proofs on the security of these systems. The actual isolation solutions themselves are carefully analyzed and included software is often even verified on binary level. The role of other software and hardware for the overall system security has received less attention so far. The subject of this thesis is to shed light on these aspects, mainly on (i) unprivileged third-party code and its ability to influence security, (ii) peripheral devices with direct access to memory, and (iii) boot code and how we can selectively enable and disable isolation services without compromising security. The papers included in this thesis are both design and verification oriented, however, with an emphasis on the analysis of instruction set architectures. With the help of a theorem prover, we implemented various types of machinery for the automated information flow analysis of several processor architectures. The analysis is guaranteed to be both sound and accurate. ; Förr skrevs skadlig mjukvara mest av nyfikna tonåringar. Idag är våra datorer under ständig hot från statliga organisationer, ...

20 Jahre nach der Staatsgründung und zehn Jahre nach dem Ohrider Abkommen zieht der Beitrag eine Bilanz bezüglich der politischen Entwicklungen in Mazedonien. In den ersten vier Kapiteln des Beitrags werden die Entwicklungen in Mazedonien bis zum Jahr 2001 nachgezeichnet. Dabei wirft der Beitrag einen Blick auf den Prozess der politischen Unabhängigkeit, der in Mazedonien im Gegensatz zu allen anderen Teilrepubliken des ehemaligen Jugoslawiens auf friedlichem Weg erreicht wurde. Der Beitrag skizziert die Entwicklungen, die Mazedonien an den Rand des Bürgerkriegs brachten und beschäftigt sich mit dem Eingreifen der Internationalen Gemeinschaft. Der Beitrag geht des Weiteren auf das Rahmenabkommen von Ohrid ein, dessen unmittelbares Ziel die sofortige Beendigung des bewaffneten Konflikts war. Kapitel 5 widmet sich dem euro-atlantischen Integrationsprozess Mazedoniens. Kapitel 6 und 7 geben einen Überblick über die bilateralen Beziehungen des Landes zu seinen Nachbarn Albanien, Kosovo und Serbien. Abschließend zieht der Autor in seinem Beitrag ein ambivalentes Fazit. (ICA2)