Thesis

(back to CSS Publications)

2014

Michael Eckel.
On the practical Application of a Trusted Information Agent (BibTeX).
Master's thesis, September 2014.

2013

Benjamin Kirchner.
Autoconfigurating Firewalls using Trusted Network Technology (BibTeX).
Master's thesis, September 2013.

Hagen Lauer.
Stärkung des Beweiswertes von VoIP Aufzeichnungen durch digitale Signaturen (BibTeX).
Master's thesis, February 2013.

2012

Andre Rein.
Development and Evaluation of a Trusted Mobile Ad-hoc Network (BibTeX).
Master's thesis, April 2012.

Dominik Sebastian Weiß.
Generierung vertrauenswürdiger Daten auf mobilen Endgeräten auf Basis von Trusted Computing (BibTeX).
Master's thesis, Juni 2012.

Dieter Kramer.
Konzeption einer vertrauenswürdigen Geschäftsplattform auf der Basis von Trusted Computing zur Realisierung einer regelbasierten Verarbeitung von Events (BibTeX).
Master's thesis, August 2012.

Mark Schlüter.
Realisierung einer mobilen, vertrauenswürdigen Geschäftsplattform auf Basis von Trusted Computing zur gesicherten Datenerfassung (BibTeX).
Master's thesis, Juni 2012.

Ulrich Gabele.
Sichere Nutzung der AusweisApp (BibTeX).
Master's thesis, Januar 2012.

Hiro Dudani.
Virtual Private Networks for Peer-to-Peer Infrastructures (BibTeX).
Master's thesis, November 2012.

2011

Nico Lincke.
Entwicklung eines Konzeptes für ein sicheres Peer-to-Peer System mit dezentralem Management (BibTeX).
Master's thesis, february 2011.

Peter von Oppenkowski.
Analyse sicherheitsrelevanter Geschäftsprozesse eines Anwendungsfalls aus der Finanzbranche und Ermittlung der hierfür geeigneten Methoden (BibTeX).
Master's thesis, September 2011.

2010

Waldemar Bender.
Entwicklung eines IF-MAP Clients für die Android Plattform (BibTeX).
Master's thesis, august 2010.

Johannes Westhuis.
Integration von Trusted Computing Technologien in die Android-Plattform (BibTeX).
Master's thesis, august 2010.

Roman Korn.
Trustworthiness in Peer-to-Peer Communication for Commercial Applications (BibTeX).
Master's thesis, october 2010.

2009

Abdul Basit.
Approaches for attesting virtualized environments (BibTeX).
Master's thesis, november 2009.

René Reuter.
Concept for a trusted boot (BibTeX).
Master's thesis, Hochschule Karlsruhe, Germany, september 2009.

Alex Daniel Bulach.
Reproduzierbare Simulation im Kontext der Sicherheitsevaluation (BibTeX).
Master's thesis, july 2009.

Thomas Meierhoff.
Reproduzierbarkeit von Zuständen im Rahmen der Emulation eines Trusted Platform Module (BibTeX).
Master's thesis, Wilhelm Büchner Hochschule, Germany, november 2009.

Jennifer Richter.
Securing Digital Evidence (BibTeX).
Master's thesis, May 2009.

Gökhan Bal.
Trusted Computing Sicherheit für Webbrowser (BibTeX).
Master's thesis, Johann Wolfgang Goethe-University, Germany, april 2009.

Andreas Leicher.
Trusted Ticket Systems (BibTeX).
Master's thesis, Johann Wolfgang Goethe-University, Germany, april 2009.

Andreas Brett.
Trusted Watermarks (BibTeX).
Master's thesis, Technical University Darmstadt, Germany, april 2009.

Andreas Brett.
Trusted Watermarks - appendix (BibTeX).
Master's thesis, Technical University Darmstadt, Germany, april 2009.

2008

Rachid El Khayari.
SPAM over Internet Telephony and how to deal with it (BibTeX).
Master's thesis, Technical University Darmstadt, Germany, july 2008.

Rajasekhar Kannamanani.
Software to provide security for Web Browser Cookies and Passwords using Trusted Computing Technology (BibTeX).
Master's thesis, Private Fernfachhochschule Darmstadt, Germany, april 2008.

2007

Christoph Breker.
Formale Modellierung und Analyse einer OrBAC-basierten Sicherheitspolitik am Beispiel der elektronischen Krankenakte (BibTeX).
Diplomarbeit, 2007.

Ulrike Petersen.
Spamfilterung mittels Texterkennungsverfahren (BibTeX).
Master's thesis, Technical University Darmstadt, Germany, 2007.

Barbara Fichtinger.
Trusted Infrastructures for Identities (BibTeX).
Master's thesis, Fachhochschule Hagenberg, Austria, may 2007.

Michael Kasper.
Virtualisation of a SIM-Card using Trusted Computing (BibTeX).
Master's thesis, Private Fernfachhochschule Darmstadt, Germany, april 2007.

2006

Christian Hett.
Security and Non-Repudiation for Voice-over-IP conversations (BibTeX).
Master's thesis, Technical University Darmstadt, Germany, july 2006.

2005

Nicolai Kuntze and Thomas Rauch.
Sicheres Outsourcing mit verteilten Webservices (BibTeX).
Master's thesis, Technical University Darmstadt, Germany, 2005.

2002

Kappes, S.
SET (Secure Electronic Transaction) Formale Modellierung und Analyse des Bezahlvorgangs zwischen Kunden und Händler mit Produktnetzen basierend auf Annahmen des Gleichgewichtsmodells (BibTeX).
Master's thesis, 2002.

1999

G. Basak.
Sicherheitsanalyse von Authentifizierungsprotokollen - model checking mit dem SH-Verification Tool (BibTeX).
Master's thesis, 1999.

1998

J. Rossmann.
Formale Analyse der Business-Phase des ©First Virtual Internet Payment Systems basierend auf Annahmen des Gleichgewichtsmodells (BibTeX).
Master's thesis, 1998.

S. Fox.
Sezifikation und Verifikation eines Separation of Duty-Szenarios als verbindliche Telekoopertation im Sinne des Gleichgewichtsmodells (BibTeX).
Master's thesis, 1998.

V. Orsic.
Spezifikation und Analyse der Angebot-Auftrag-Kooperation nach dem Gleichgewichtsmodell mit Hilfe von Produktnetzen (BibTeX).
Master's thesis, 1998.

1997

A. Link and A. Noll.
Untersuchung von Service Interaction in Intelligenten Netzen mittels formaler Methoden (BibTeX).
Master's thesis, 1997.

1996

C. Rudolph.
Analyse krypotgraphischer Protokolle mittels Produktnetzen basierend auf Modellannahmen der BAN-Logik (BibTeX).
Master's thesis, 1996.

1994

M. Nebel.
Ein Produktnetz zur Verifikation von SmartCard-Anwendungen in der STARCOS-Umgebung. (BibTeX).
Master's thesis, 1994.
For feedback use CSS Home Page - Imprint - Privacy Statement