Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications :: Thesis :: Bastuck, Andrea


MPI-INF RG1 Publications
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Diploma Thesis | | Diplomarbeit


Author
Author(s)*:Bastuck, Andrea
BibTeX citekey*:Bastuck2006
Language:German

Title, School
Title*:Maschinell unterstützte Analyse eines Sicherheitsprotokolls
School:Universität des Saarlandes
Type of Thesis*:Diploma Thesis
Month:September
Year:2006


Note, Abstract, Copyright
Download Access Level:Public
Download File(s):

Referees, Status, Dates
Supervisor:Christoph Weidenbach, Uwe Waldmann
Status:Completed
Date Kolloquium:23 January 2007

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Automation of Logic
Appearance:MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

@MASTERSTHESIS{Bastuck2006,
AUTHOR = {Bastuck, Andrea},
TITLE = {Maschinell unterst{\"u}tzte Analyse eines Sicherheitsprotokolls},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2006},
TYPE = {Diploma thesis}
MONTH = {September},
}





Entry last modified by Anja Becker, 12/07/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Roxane Wetzel
Created
01/23/2007 04:00:49 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Anja Becker
Uwe Brahm
Uwe Brahm
Uwe Waldmann
Uwe Waldmann
Edit Dates
07.12.2010 16:40:44
04/29/2007 05:14:26 PM
04/29/2007 11:02:24 AM
14.03.2007 22:59:20
2007-02-14 19:01:10