Integration of Analysis Techniques in Security and Fault-Tolerance

Gabriele Lenzini

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 languageEnglish
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Hartel, Pieter H., Supervisor
  • Etalle, S. , Advisor
  • Brinksma, Hendrik , Supervisor
  • Gnesi, S., Member
  • Wieringa, Roelf J., Member
  • Fokkink, W.J., Member
  • Raskin, J.-F., Member
Date of Award30 Jun 2005
Place of PublicationEnschede, Netherlands
Print ISBNs90-365-2200-5
StatePublished - 30 Jun 2005

Fingerprint

Fault tolerance

Keywords

  • EWI-719
  • METIS-229341
  • IR-50779

Cite this

Lenzini, Gabriele. / Integration of Analysis Techniques in Security and Fault-Tolerance. Enschede, Netherlands, 2005. 196 p.
@misc{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 = "6",
isbn = "90-365-2200-5",
school = "University of Twente",

}

Lenzini, G 2005, 'Integration of Analysis Techniques in Security and Fault-Tolerance', University of Twente, Enschede, Netherlands.

Integration of Analysis Techniques in Security and Fault-Tolerance. / Lenzini, Gabriele.

Enschede, Netherlands, 2005. 196 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

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

ER -

Lenzini G. Integration of Analysis Techniques in Security and Fault-Tolerance. Enschede, Netherlands, 2005. 196 p.