Integration of Analysis Techniques in Security and Fault-Tolerance

Gabriele Lenzini

Integration of Analysis Techniques in Security and Fault-Tolerance

Gabriele Lenzini

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

190 Downloads (Pure)

Abstract

This thesis focuses on the study of integration of formal methodologies in security protocol analysis and fault-tolerance analysis. The research is developed in two different directions: interdisciplinary and intra-disciplinary. In the former, we look for a beneficial interaction between strategies of analysis in security protocols and fault-tolerance; in the latter, we search for connections among different approaches of analysis within the security area. In the following we summarize the main results of the research.

Original language	English
Awarding Institution	University of Twente
Supervisors/Advisors	Hartel, Pieter Hendrik, Supervisor Brinksma, Ed, Supervisor Etalle, S. , Co-Supervisor
Award date	30 Jun 2005
Place of Publication	Enschede, Netherlands
Publisher	University of Twente
Print ISBNs	90-365-2200-5
Publication status	Published - 30 Jun 2005

Keywords

EWI-719
METIS-229341
IR-50779

Access to Document

thesis_LenziniFinal published version, 1.2 MB

Cite this

@phdthesis{aa00af84eac4429eafe7e3ab4541a1bb,

title = "Integration of Analysis Techniques in Security and Fault-Tolerance",

abstract = "This thesis focuses on the study of integration of formal methodologies in security protocol analysis and fault-tolerance analysis. The research is developed in two different directions: interdisciplinary and intra-disciplinary. In the former, we look for a beneficial interaction between strategies of analysis in security protocols and fault-tolerance; in the latter, we search for connections among different approaches of analysis within the security area. In the following we summarize the main results of the research.",

keywords = "EWI-719, METIS-229341, IR-50779",

author = "Gabriele Lenzini",

note = "CTIT Ph. D. Thesis Series Number: 05-70 — ISSN 1381-3617 ; IPA Dissertation Series Number: 2005-07",

year = "2005",

month = jun,

day = "30",

language = "English",

isbn = "90-365-2200-5",

publisher = "University of Twente",

address = "Netherlands",

school = "University of Twente",

}

TY - THES

T1 - Integration of Analysis Techniques in Security and Fault-Tolerance

AU - Lenzini, Gabriele

N1 - CTIT Ph. D. Thesis Series Number: 05-70 — ISSN 1381-3617 ; IPA Dissertation Series Number: 2005-07

PY - 2005/6/30

Y1 - 2005/6/30

N2 - This thesis focuses on the study of integration of formal methodologies in security protocol analysis and fault-tolerance analysis. The research is developed in two different directions: interdisciplinary and intra-disciplinary. In the former, we look for a beneficial interaction between strategies of analysis in security protocols and fault-tolerance; in the latter, we search for connections among different approaches of analysis within the security area. In the following we summarize the main results of the research.

AB - This thesis focuses on the study of integration of formal methodologies in security protocol analysis and fault-tolerance analysis. The research is developed in two different directions: interdisciplinary and intra-disciplinary. In the former, we look for a beneficial interaction between strategies of analysis in security protocols and fault-tolerance; in the latter, we search for connections among different approaches of analysis within the security area. In the following we summarize the main results of the research.

KW - EWI-719

KW - METIS-229341

KW - IR-50779

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-2200-5

PB - University of Twente

CY - Enschede, Netherlands

ER -

Integration of Analysis Techniques in Security and Fault-Tolerance

Abstract

Keywords

Access to Document

Fingerprint

Cite this