Integration of Analysis Techniques in Security and Fault-Tolerance

Gabriele Lenzini

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    258 Downloads (Pure)


    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
    • Hartel, P.H., Supervisor
    • Brinksma, Ed, Supervisor
    • Etalle, S. , Co-Supervisor
    Award date30 Jun 2005
    Place of PublicationEnschede, Netherlands
    Print ISBNs90-365-2200-5
    Publication statusPublished - 30 Jun 2005


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


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

    Cite this