Integration of Analysis Techniques in Security and Fault-Tolerance

Gabriele Lenzini

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    90 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 languageEnglish
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Hartel, Pieter Hendrik, Supervisor
    • Brinksma, Hendrik , Supervisor
    • Etalle, S. , Co-Supervisor
    Award date30 Jun 2005
    Place of PublicationEnschede, Netherlands
    Publisher
    Print ISBNs90-365-2200-5
    Publication statusPublished - 30 Jun 2005

    Keywords

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

    Fingerprint Dive into the research topics of 'Integration of Analysis Techniques in Security and Fault-Tolerance'. Together they form a unique fingerprint.

    Cite this