Analysis Models for Security Protocols

Ricardo Javier Corin

Analysis Models for Security Protocols

Ricardo Javier Corin

Research output: Thesis › PhD Thesis - Research UT, graduation UT

114 Downloads (Pure)

Abstract

In this thesis, we present five significant, orthogonal extensions to the Dolev Yao model. Each extension considers a more realistic setting, closer to the real world, thus providing a stronger security guarantee. We provide examples both from the literature and from industrial case studies to show the practical applicability of each extension.

Original language	English
Awarding Institution	University of Twente
Supervisors/Advisors	Hartel, P.H., Supervisor Etalle, S., Co-Supervisor
Award date	12 Jan 2006
Place of Publication	Enschede, Netherlands
Publisher	University of Twente
Print ISBNs	90-365-2279-X
Publication status	Published - 12 Jan 2006

Keywords

SCS-Cybersecurity

Access to Document

Thesis R. CorinFinal published version, 2.26 MB

Cite this

@phdthesis{825feb678488497bb2e92772479ca4c4,

title = "Analysis Models for Security Protocols",

abstract = "In this thesis, we present five significant, orthogonal extensions to the Dolev Yao model. Each extension considers a more realistic setting, closer to the real world, thus providing a stronger security guarantee. We provide examples both from the literature and from industrial case studies to show the practical applicability of each extension.",

keywords = "SCS-Cybersecurity",

author = "Corin, {Ricardo Javier}",

year = "2006",

month = jan,

day = "12",

language = "English",

isbn = "90-365-2279-X",

series = "IPA Dissertation Series",

publisher = "University of Twente",

address = "Netherlands",

type = "PhD Thesis - Research UT, graduation UT",

school = "University of Twente",

}

TY - THES

T1 - Analysis Models for Security Protocols

AU - Corin, Ricardo Javier

PY - 2006/1/12

Y1 - 2006/1/12

N2 - In this thesis, we present five significant, orthogonal extensions to the Dolev Yao model. Each extension considers a more realistic setting, closer to the real world, thus providing a stronger security guarantee. We provide examples both from the literature and from industrial case studies to show the practical applicability of each extension.

AB - In this thesis, we present five significant, orthogonal extensions to the Dolev Yao model. Each extension considers a more realistic setting, closer to the real world, thus providing a stronger security guarantee. We provide examples both from the literature and from industrial case studies to show the practical applicability of each extension.

KW - SCS-Cybersecurity

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-2279-X

T3 - IPA Dissertation Series

PB - University of Twente

CY - Enschede, Netherlands

ER -

Analysis Models for Security Protocols

Abstract

Keywords

Access to Document

Fingerprint

Cite this