Analysis Models for Security Protocols

Ricardo Javier Corin

    Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

    31 Downloads (Pure)

    Abstract

    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
    Supervisors/Advisors
    • Hartel, Pieter Hendrik, Supervisor
    • Etalle, S., Co-Supervisor
    Award date12 Jan 2006
    Place of PublicationEnschede, Netherlands
    Publisher
    Print ISBNs90-365-2279-X
    Publication statusPublished - 12 Jan 2006

    Keywords

    • SCS-Cybersecurity

    Cite this

    Corin, R. J. (2006). Analysis Models for Security Protocols. Enschede, Netherlands: University of Twente.
    Corin, Ricardo Javier. / Analysis Models for Security Protocols. Enschede, Netherlands : University of Twente, 2006. 168 p.
    @phdthesis{825feb678488497bb2e92772479ca4c4,
    title = "Analysis Models for Security Protocols",
    abstract = "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.",
    keywords = "SCS-Cybersecurity",
    author = "Corin, {Ricardo Javier}",
    year = "2006",
    month = "1",
    day = "12",
    language = "English",
    isbn = "90-365-2279-X",
    series = "IPA Dissertation Series",
    publisher = "University of Twente",
    address = "Netherlands",
    school = "University of Twente",

    }

    Corin, RJ 2006, 'Analysis Models for Security Protocols', University of Twente, Enschede, Netherlands.

    Analysis Models for Security Protocols. / Corin, Ricardo Javier.

    Enschede, Netherlands : University of Twente, 2006. 168 p.

    Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

    TY - THES

    T1 - Analysis Models for Security Protocols

    AU - Corin, Ricardo Javier

    PY - 2006/1/12

    Y1 - 2006/1/12

    N2 - 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.

    AB - 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.

    KW - SCS-Cybersecurity

    M3 - PhD Thesis - Research UT, graduation UT

    SN - 90-365-2279-X

    T3 - IPA Dissertation Series

    PB - University of Twente

    CY - Enschede, Netherlands

    ER -

    Corin RJ. Analysis Models for Security Protocols. Enschede, Netherlands: University of Twente, 2006. 168 p. (IPA Dissertation Series). (CTIT Ph.D.-thesis Series).