Analysis Models for Security Protocols

Ricardo Javier Corin

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    58 Downloads (Pure)


    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 languageEnglish
    Awarding Institution
    • University of Twente
    • Hartel, Pieter Hendrik, Supervisor
    • Etalle, S., Co-Supervisor
    Award date12 Jan 2006
    Place of PublicationEnschede, Netherlands
    Print ISBNs90-365-2279-X
    Publication statusPublished - 12 Jan 2006


    • SCS-Cybersecurity

    Cite this