Beta 1


Title Analysis and reconstruction of attacks on authentication protocols
Author Kaplan, Nikolaj Hjelm
Supervisor Nielson, Hanne Riis (Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2004
Abstract In this project I use and develop methods for analyzing and reconstructing attacks on authentication protocols. I will combine two approaches to analysis of authentication protocols: Static analysis and model checking. The static analysis gives an over-approximation of the breaches of a protocol. My task is to choose a potential breach of a certain protocol, and if possible reconstruct the trace of events leading to this breach using techniques from model checking. The model checking will be aided by additional results from the analysis. The result of my work is a tool which makes it possible to efficiently find and reconstruct a certain breach of a given authentication protocol. In Danish: I dette projekt bruger og udvikler jeg metoder til at analysere og rekonstruere angreb på autentifikationsprotokoller. Jeg kombinerer to tilgange til analyse af autentifikationsprotokoller: Statisk analyse og model checking. Statisk analyse giver en overapproksimation til fejl i en protokol. Min opgave er at vælge en potentiel fejl i en given protokol og hvis muligt rekonstruere den sekvens af kommunikation, der forårsager denne fejl. Til denne rekonstruktion benyttes model checking teknikker. Resultatet af mit arbejde er et værktøj, der gør det muligt effektivt at finde og rekonstruere en fejl i en given autentifikationsprotokol.
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Keywords Authentication Protocols; Security protocols; Static Analysis; Control flow analysis; Model Checking; LySa; samc
Fulltext
Derived PDF imm3228.pdf (0.67 MB)
Original Postscript imm3228.ps (1.34 MB)
Original compressed Postscript imm3228.zip (0.63 MB)
Admin Creation date: 2006-06-22    Update date: 2012-12-21    Source: dtu    ID: 154770    Original MXD