Offene Themen
Die folgende Liste enthält Themen und Forschungsbereiche für eine Masterarbeit. Für weitere Details wenden Sie sich an den Ansprechpartner,
um diese in einem persönlichen Gespräch zu klären. Interessierte Studierende können sich aber auch an die
Professoren des Instituts wenden, wenn Sie ein eigenes Thema
besonders interessiert.
| Masterarbeitsthema |
Status |
Ansprechpartner |
Zum Ablauf
Masterarbeiten werden grundsätzlich nur von Professoren und
Dozenten der TNF ausgegeben. Bei Ausgabe des Themas ist ein
entsprechendes
Formblatt
vom Betreuer und Studierenden auszufüllen und dem Prüfungsamt
vorzulegen.
Man benötigt neben dem Erstgutachter auch einen Zweitprüfer.
Der Zweitprüfer wird durch den Vorsitzenden des
Prüfungsausschusses bestimmt. Studierende und Betreuer können hierzu
Vorschläge machen.
Nach Abgabe der Arbeit soll innerhalb von 4 Wochen das
Kolloquium durchgeführt werden. Prüfer und Studierende legen hierzu
einen Termin fest, der auf dem
Anmeldeformular
mindestens eine Woche vorher dem Prüfungsamt bekannt zu geben ist.
Abgeschlossene Arbeiten
2023
- E. H.:
Kryptografische Anwendungen von klassischer Zahlentheorie bis zu elliptischen Kurven über endlichen Körpern.
Universität zu Lübeck, Institut für Mathematik,
2023.
Gutachter: Reinhard Schuster, Sebastian Berndt.
- P. P.:
Extending MASKVERIF to Advanced Masking Schemes.
Universität zu Lübeck, Institut für IT-Sicherheit,
2023.
Gutachter: Thomas Eisenbarth, Sebastian Berndt.
- B.F.:
Fast Estimating of Causal Effects from CPDAGs and Observed Data.
Universität zu Lübeck, Institut für Theoretische Informatik,
2023.
Gutachter: Maciej Liskiewicz, Ralf Möller.
- F.M.:
Algorithmen für Graphen mit beschränkter Twinwidth.
Universität zu Lübeck, Institut für Theoretische Informatik,
2023.
Gutachter: Till Tantau, Ralf Möller.
- L.S.:
The Self-Avoiding Walk.
Universität zu Lübeck, Institut für Theoretische Informatik,
2023.
Gutachter: Rüdiger Reischuk, Andreas Rößler.
2022
- P. A.:
Prevention of combined probing and fault attacks using active multiparty computation in the honest-majority setting.
Universität zu Lübeck, Institut für IT-Sicherheit,
2022.
Gutachter: Thomas Eisenbarth, Sebastian Berndt.
- T. G.:
New zero-knowledge proofs for selected NP-complete problems.
Universität zu Lübeck, Institut für Theoretische Informatik,
2022.
Gutachter: Maciej Liskiewicz, Sebastian Berndt.
- J. H.:
Adapting Lattice-based Attacks to break Diffie-Hellman.
Universität zu Lübeck, Institut für Theoretische Informatik,
2022.
Gutachter: Sebastian Berndt, Thomas Eisenbarth.
- S. K.:
Fault Attacks on BIKE.
Universität zu Lübeck, Institut für IT-Sicherheit,
2022.
Gutachter: Thomas Eisenbarth, Sebastian Berndt.
- J. T.:
On the Leakage Resilience of the Sponge Construction and its Relation to XMSS by the Usage as a Building Block of SHA-3.
Universität zu Lübeck, Institut für IT-Sicherheit,
2022.
Gutachter: Thomas Eisenbarth, Sebastian Berndt.
- F.H.:
Algorithmics of Graphs of Bounded Twin-Width.
Universität zu Lübeck, Institut für Theoretische Informatik,
2022.
Gutachter: Rüdiger Reischuk, Max Bannach.
- M.S.:
Development of a Treewidth-Guided MaxSAT Solver.
Universität zu Lübeck, Institut für Theoretische Informatik,
2022.
Gutachter: Till Tantau, Esfandiar Mohamadi.
2021
- M. H.:
Lifting Division of Parametric Factors for Lifted Inference.
Universität zu Lübeck, Institut für Informationssysteme,
2021.
Gutachter: Ralf Möller, Maciej Liskiewicz.
- M. L.:
Experimental Analysis of Algorithms for Extending Causal Graphs.
Universität zu Lübeck, Institut für Informationssysteme,
2021.
Gutachter: Maciej Liskiewicz, Ralf Möller.
- S. T.:
Counting Problems Concerning k-Markov Equivalence Classes.
Universität zu Lübeck, Institut für Theoretische Informatik,
2021.
Gutachter: Maciej Liskiewicz, Ralf Möller.
2020
- M. L.:
A Logic of Cone-Based Structures.
Universität zu Lübeck, Institut für Informationssysteme,
2020.
Gutachter: Özgür L. Özcep, Till Tantau.
2019
- Z. H.:
Dynamische Kernelisierungen für Vertex Cover und Hitting Set.
Universität zu Lübeck, Institut für Theoretische Informatik,
2019.
Gutachter: Rüdiger Reischuk, Till Tantau.
- H. K.:
Efficient Code Generation for Stream-based Specifications.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2019.
Gutachter: Martin Leucker, Till Tantau.
- C. P.:
Steganography in Print-Scan Documents.
Universität zu Lübeck, Institut für Theoretische Informatik,
2019.
Gutachter: Rüdiger Reischuk, Thomas Eisenbarth.
- Marcel Wienöbst:
Constraint-based causal structure learning exploiting low-order conditional independences.
Universität zu Lübeck, Institut für Theoretische Informatik,
2019.
Gutachter: Maciej Liskiewicz, Ralf Möller.
PDF anzeigen
2018
- F. B.:
Konstruktion von Lösungen für Unart-Subset-Sum und verwandte Probleme in TC^o.
Universität zu Lübeck, Institut für Theoretische Informatik,
2018.
Gutachter: Till Tantau, Martin Leucker.
- M. B.:
Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2018.
Gutachter: Martin Leucker, Till Tantau.
- S. G.:
Dynamische Approximationsverfahren für das Dominating-Set-Problem.
Universität zu Lübeck, Institut für Theoretische Informatik,
2018.
Gutachter: Rüdiger Reischuk, Till Tantau.
- I. H.:
Private Edit Distance on DNA.
Universität zu Lübeck, Institut für Theoretische Informatik,
2018.
Gutachter: Maciej Liskiewicz, Thomas Eisenbarth.
- M. S.:
On the Expressive Power of Real-Time #Automata and Real-Time Logics.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2018.
Gutachter: Martin Leucker, Till Tantau.
- J. T.:
Garbled Circuits: from White-Box Cryptography to Zero-Knowledge Proofs.
Universität zu Lübeck, Institut für Theoretische Informatik,
2018.
Gutachter: Maciej Liskiewicz, Thomas Eisenbarth.
2017
- D. H.:
Dreiwertige Timed-LTL-Semantik.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2017.
Gutachter: Martin Leucker, Till Tantau.
- A. A. L.:
Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln.
Universität zu Lübeck, Institut für Theoretische Informatik,
2017.
Gutachter: Till Tantau, Martin Leucker.
- A. P.:
SMT-based Flat Model-Checking for LTL with Counting.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2017.
Gutachter: Martin Leucker, Till Tantau.
- J. W.:
Differential Privacy: Choosing Parameters for Multiple Studies.
Universität zu Lübeck, Institut für Theoretische Informatik,
2017.
Gutachter: Rüdiger Reischuk, Thomas Eisenbarth.
2016
- R. B.:
Algorithmisches Zeichnen von planaren Graphen mit TikZ.
Universität zu Lübeck, Institut für Theoretische Informatik,
2016.
Gutachter: Till Tantau, Hans-Martin Teichert.
- K. D.:
On the Complexity of Constructing Phylogenetic Trees from Rooted Triplets.
Universität zu Lübeck, Institut für Theoretische Informatik,
2016.
Gutachter: Maciej Liskiewicz, Ralf Möller.
- B. G.:
Generation and verification of formal proofs of propositional tautologies.
Universität zu Lübeck, Institut für Theoretische Informatik,
2016.
Gutachter: Till Tantau, Ralf Möller.
- F.-L. A. L.:
Kompetitive Analyse von Multizustand-Systemen im Dynamic Power-Management Kontext.
Universität zu Lübeck, Institut für Theoretische Informatik,
2016.
Gutachter: Rüdiger Reischuk, Stefan Fischer.
- R. N.:
Das No-Comparing-Theorem für Qubits.
Universität zu Lübeck, Institut für Theoretische Informatik,
2016.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
- M. S.:
Algorithmic Drawing of Evolving Trees.
Universität zu Lübeck, Institut für Theoretische Informatik,
2016.
Gutachter: Till Tantau, Andreas Schrader.
2015
- A. I.:
Algorithmische Fragestellungen in der Kausalitätstheorie.
Universität zu Lübeck, Institut für Theoretische Informatik,
2015.
Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
- F. K.:
Efficient Estimation of Evolutionary Distances.
Max-Planck-Institut für Evolutionsbiologie, Plön,
2015.
Gutachter: Bernhard Haubold, Till Tantau.
- T. M.:
Runetime Verification Logics for Object-Oriented Real-Time Systems.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2015.
Gutachter: Martin Leucker, Till Tantau.
- T. S.:
Schwere Instanzen für NP-schwere Probleme.
Universität zu Lübeck, Institut für Theoretische Informatik,
2015.
Gutachter: Rüdiger Reischuk, Ralf Möller.
- F. T.:
Construction of Two-Layer Transportation Networks.
Universität zu Lübeck, Institut für Theoretische Informatik,
2015.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
- J. T.:
Minimierung symbolischer nichtdeterministischer Büchi-Automaten.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2015.
Gutachter: Martin Leucker, Till Tantau.
2014
- I. D. B.:
Design and Implementation of a Configurable Framework for Forced-Based Graph Drawing.
Universität zu Lübeck, Institut für Theoretische Informatik,
2014.
Gutachter: Till Tantau, Hans-Martin Teichert.
- M. B.:
On the Space and Circuit Complexity of Certain Parameterized Problems.
Universität zu Lübeck, Institut für Theoretische Informatik,
2014.
Gutachter: Till Tantau, Maciej Liskiewicz.
PDF anzeigen | Zusammenfassung anzeigen
Parameterized complexity theory provides important tools to generate and an- alyze reasonable fast algorithms for hard problems. Current research mainly focuses on the question whether parameterized problems are fixed-parameter tractable or not, i. e., if there is a fast algorithm solving them. Thus, the only considered resource is time, while parameterized space and circuit complexity is often omitted, although these resources are useful in classical complexity the- ory as well. A recent work from Elberfeld, Stockhusen, and Tantau provides a framework of parameterized space and circuit classes to cover this area [26]. Al- though the framework provides parameterized space and circuit classes, as well as tools to analyze them, there is still a lack of complete problems for most of these classes. The objective of this thesis is to resolve this issue by analyzing widely known problems with respect to the framework and, thus, populate the different classes. This will lead to new upper bounds for many natural prob- lems, together with a couple of new lower bounds for some of them. Moreover, we will also be able to collide the upper and lower bounds of some of these problems and, hence, finally resolve the complexity of them.
- K. L.:
Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.
Universität zu Lübeck, Institut für Theoretische Informatik,
2014.
Gutachter: Maciej Liskiewicz, Martin Leucker.
- A. M.:
An Approach to Solving Object Displacement Problems.
Universität zu Lübeck, Institut für Robotik und Kognitive Systeme,
2014.
Gutachter: Achim Schweikard, Till Tantau.
- F. N.:
Konzeption und Implementierung eines merkmalbasierten Workflows für die Steganalyse.
Universität zu Lübeck, Institut für Theoretische Informatik,
2014.
Gutachter: Rüdiger Reischuk, Stefan Fischer.
- T. S.:
Logiken für verteilte Laufzeitverfikation.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2014.
Gutachter: Martin Leucker, Till Tantau.
- S. S.:
Sicheres Cloud-Computing.
Universität zu Lübeck, Institut für Theoretische Informatik,
2014.
Gutachter: Rüdiger Reischuk, Stefan Fischer.
- M. S.:
Verteilte Laufzeitverfikation auf eingebetteten Systemen.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2014.
Gutachter: Martin Leucker, Till Tantau.
- E. v. T.:
STL: Combining Stream-based and Temporal Logics.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2014.
Gutachter: Martin Leucker, Till Tantau.
2013
- M. E.:
Algorithmisches Lernen von Verteilungen.
Universität zu Lübeck, Institut für Theoretische Informatik,
2013.
Gutachter: Rüdiger Reischuk, Karsten Keller.
- S. F.:
Das fehlertolerante Shortest-Common-Superstring-Problem.
Universität zu Lübeck, Institut für Theoretische Informatik,
2013.
Gutachter: Rüdiger Reischuk, Till Tantau.
- N. F.:
Reoptimization of the Travelling Salesperson Problem.
Universität zu Lübeck, Institut für Theoretische Informatik,
2013.
Gutachter: Rüdiger Reischuk, Till Tantau.
- C. W.:
Runtime Verification for Mazurkiewicz Traces.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2013.
Gutachter: Martin Leucker, Rüdiger Reischuk.
2012
- Y. B.:
Sichere Zwei-Parteien Protokolle zur Berechnung von Entscheidungsbäumen.
Universität zu Lübeck, Institut für Theoretische Informatik,
2012.
Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
- S. K.:
Data-based Projection Access Order for SART.
Universität zu Lübeck, Institut für Medizintechnik,
2012.
Gutachter: Thorsten M. Buzug, Till Tantau.
- C. P.:
DSL-based Runtime Verification for the JVM.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen,
2012.
Gutachter: Martin Leucker, Rüdiger Reischuk.
- C. S.:
Digital Camera Identification.
Universität zu Lübeck, Institut für Theoretische Informatik,
2012.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
- M. S.:
Exact Algorithms for Traveling Salesman Problem in Cubic Graphs.
Universität zu Lübeck, Institut für Theoretische Informatik,
2012.
Gutachter: Maciej Liskiewicz, Martin Leucker.
- N. T.:
Dekomposition von Bäumen und Termin in AC0 und TC0.
Universität zu Lübeck, Institut für Theoretische Informatik,
2012.
Gutachter: Till Tantau, Maciej Liskiewicz.
2011
- J. B.:
Ein Zooming-Interface facettenklassifizierte für Präsentationen.
Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme,
2011.
Gutachter: Michael Herczeg, Till Tantau.
- A. K.:
Graph Grammar Slicing – An Approach to Reducing the Combinatorial Complexity of Tracking Observables in Complex Reaction Systems.
Universität zu Lübeck, Institut für Theoretische Informatik,
2011.
Gutachter: Till Tantau, Amir Madany Mamlouk.
- T. K.:
Spieltheoretische und Graphentheoretische Betrachtungen zur Netzwerksicherheit.
Universität zu Lübeck, Institut für Theoretische Informatik,
2011.
Gutachter: Rüdiger Reischuk, Till Tantau.
- J. P.:
Configurable Graph Drawing Algorithms for the TikZ Graphics Description Language.
Universität zu Lübeck, Institut für Theoretische Informatik,
2011.
Gutachter: Till Tantau, Hanns-Martin Teichert.
PDF anzeigen | Zusammenfassung anzeigen
Graphs are key to illustrating and understanding many complex systems and processes. This thesis provides an introduction to the graph drawing features of TikZ, a versatile language for creating a wide range of vector graphics that includes a framework for automatic graph layout strategies written in the Lua programming language. Algorithms for two families of drawing methods—spring and spring-electrical layouts of general graphs as well as layered drawings of directed graphs—were developed specifically for TikZ. They are presented along with a discussion of their underlying concepts, implementation details, and options to select, configure, and extend them. The generated spring and spring-electrical layouts feature a high degree of symmetry, evenly distributed nodes and almost uniform edge lengths. The techniques developed for layered drawings are successful in highlighting the flow of directed graphs and producing layouts with uniform edge lengths and few crossings. By discussing many graph drawing features valuable for end-users and researchers alike, this thesis aims at enabling a comparison to related tools and providing the groundwork for future research and algorithm development.
- M. P.:
Smoothed-Analysis des Caching-Problems.
Universität zu Lübeck, Institut für Theoretische Informatik,
2011.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
- C. S.:
Anwendungen monadischer Logik zweiter Stufe auf Probleme beschränkter Baumweite und deren Platzkomplexität.
Universität zu Lübeck, Institut für Theoretische Informatik,
2011.
Gutachter: Till Tantau, Hans-Martin Teichert.
PDF anzeigen | Zusammenfassung anzeigen
Die parametrisierte Komplexitätstheorie befasst sich mit der komplexitätstheoretischen Untersuchung von Problemen unter besonderer Beachtung ihrer inhärenten Parameter. Historisch bedingt liegt der Fokus dabei auf der Untersuchung der Zeitkomplexitäten von Problemen. In dieser Arbeit wird ein Framework eingeführt, welches die parametrisierte Komplexitätstheorie um Komplexitätsklassen und einen passenden Reduktionsbegriff erweitert, die erste systematische Untersuchungen bezüglich der Platzkomplexitäten von Problemen ermöglichen. Weiter wird eine Auswahl von klassischen Problemen unter Verwendung dieses Frameworks analysiert. Dies beinhaltet verschiedene Varianten, vor allem Zählvarianten, von Zahlenproblemen, dem Erfüllbarkeitsproblem für aussagenlogische Formeln sowie Graphen- und Mengenproblemen, die mittels der Logspace-Versionen der Sätze von Bodlaender und Courcelle bezüglich ihrer Platzkomplexität klassifiziert werden. Abschließend gibt diese Arbeit einen Ausblick auf weiterführende Entwicklungen der parametrisierten Platzkomplexität.
- L. S.:
Komplexitätstheoretische Untersuchung des HistogramEqualization-Problems.
Universität zu Lübeck, Institut für Theoretische Informatik,
2011.
Gutachter: Maciej Liskiewicz, Alfred Mertins.
2010
- O. K.:
Bildklassifikation unter Verwendung kompressionsbasierter Methoden.
Universität zu Lübeck, Institut für Theoretische Informatik,
2010.
Gutachter: Maciej Liskiewicz, Stefan Fischer.
- F. S.:
Entwicklung und Analyse einer Heuristik für Image-Matching bezüglich Skalierung und Rotation.
Universität zu Lübeck, Institut für Theoretische Informatik,
2010.
Gutachter: Maciej Liskiewicz, Jan Modersitzki.
- S. U.:
Community and Hub Detection in Social Networks.
Universität zu Lübeck, Institut für Telematik,
2010.
Gutachter: Stefan Fischer, Till Tantau.
- O. W.:
Algorithmen zur Konstruktion perfekter Rekombinationsnetzwerke.
Universität zu Lübeck, Institut für Theoretische Informatik,
2010.
Gutachter: Till Tantau, Amir Madany Mamlouk.
2009
- Jana Abraham:
Konzeption und Implementation eines Frameworks zur explorativen Vermittlung von Algorithmen in der Lehre.
Universität zu Lübeck, Institut für Theoretische Informatik,
2009, Diplomarbeit.
Gutachter: Till Tantau, Michael Herczeg.
2008
- Ragnar Nevries:
Entwicklung und Analyse eines beschleunigten Image Matching-Algorithmus für natürliche Bilder.
Universität Rostock,
2008.
Gutachter: Andreas Brandstädt, Maciej Liskiewicz, Diplomarbeit.
- M. S.:
Textkategorisierung basierend auf der Beschreibungskomplexität von Zeichenketten.
Universität zu Lübeck, Institut für Theoretische Informatik,
2008.
Gutachter: Liskiewicz/Mertins.
2007
- Michael Elberfeld:
Komplexität von Haplotypisierung mittels perfekten Phylogenien und kleinsten Haplotypmengen.
Universität zu Lübeck, Institut für Theoretische Informatik,
2007.
Gutachter: Till Tantau, Hans-Martin Teichert.
PDF anzeigen - A. H.:
Modellierung der Regulation in E.coli durch Petri-Netze.
Universität zu Lübeck, Institut für Theoretische Informatik,
2007.
Gutachter: Rüdiger Reischuk.
- Christoph Reineke:
Optimierung von Reload-Strategien im Web durch Komponenten-Tracking.
Universität zu Lübeck, Institut für Theoretische Informatik,
2007.
Gutachter: Dirk Kukulen, Maciej Liskiewicz.
- M. S.:
Extensions of an Algorithm for Generalised Fair Model Checking.
Universität zu Lübeck, Institut für Theoretische Informatik,
2007.
Gutachter: Rüdiger Reischuk.
2006
- Johannes Textor:
Ein hybrides Automatenmodell zur Simulation des Immunsystems.
Universität zu Lübeck, Institut für Theoretische Informatik,
2006.
PDF anzeigen - Lothar Krause:
Global Grammar Transform Algorithms Applied to Fibonacci and Thue-Morse Words.
Universität zu Lübeck, Institut für Theoretische Informatik,
2006.
Gutachter: Rüdiger Reischuk, Till Tantau.
Diplomarbeit - Johannes Textor:
An Approach to Solving Object Displacement Problems.
Universität zu Lübeck, Institut für Theoretische Informatik,
2006.
Gutachter: Rüdiger Reischuk.
2005
- Christian Josef Eibl:
Multicast Protokolle unter Geheimhaltung der Netzwerk Topologie.
Universität zu Lübeck, Institut für Theoretische Informatik,
2005.
Gutachter: Rüdiger Reischuk.
Diplomarbeit - Peer Stechert:
Dynamic Private Auctions.
Universität zu Lübeck, Institut für Theoretische Informatik,
2005.
Gutachter: Andreas Jakoby.
Diplomarbeit - Nina Moebius:
t-private Auctions under Cryptographic Assumptions.
Universität zu Lübeck, Institut für Theoretische Informatik,
2005.
Gutachter: Rüdiger Reischuk, Andreas Jakoby.
2004
- Kirstin Schwidrowski:
Private Protocols based on Cycle Covering.
Universität zu Lübeck, Institut für Theoretische Informatik,
2004.
Gutachter: Andreas Jakoby.
- T. B.:
Laufzeitanalyse von Shared-Memory-Multiprozessoren mit Speicherhierarchien am Beispiel der Matrixmultiplikation.
Universität zu Lübeck, Institut für Theoretische Informatik,
2004.
Gutachter: Rüdiger Reischuk.
- Monika Demichowicz:
Algorithmen zur Komprimierung von DNA-Sequenzen (in Polnisch).
TU Wroclaw/Polen,
2004.
Gutachter: Maciej Liskiewicz.
- M. H.:
Preserving the Secret of Topology.
Universität zu Lübeck, Institut für Theoretische Informatik,
2004.
- Pawel Mazur:
Parallele Algorithmen zur Berechnung der Anzahl der Pfade in ungerichteten Graphen.
TU Wroclaw/Polen,
2004.
Gutachter: Maciej Liskiewicz.
- U. W.:
Untersuchung zur Strukturbeschreibung von Mengen digitaler Bilder durch Ähnlichkeitsmaße.
Universität zu Lübeck, Institut für Theoretische Informatik,
2004.
Gutachter: Rüdiger Reischuk, H. Schwigon (BSI).
Diplomarbeit
