Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols

H.R. Mahrooghi, M.R. Mousavi

    Research output: Book/ReportReportAcademic

    69 Downloads (Pure)

    Abstract

    We propose a unifying framework for formal specification and verification of both epistemic and behavioral aspects of security protocols. The main novelty of the proposed framework is the explicit support for cryptographic constructs, which is among the most essential ingredients of security protocols. Due to this feature, the indistinguishability relation for the epistemic constructs gets a dynamic semantics by taking the communicated keys and cryptographic terms in the operational specification into account.
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages28
    Publication statusPublished - 2011

    Publication series

    NameComputer science reports
    Volume1103
    ISSN (Print)0926-4515

    Fingerprint Dive into the research topics of 'Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols'. Together they form a unique fingerprint.

    Cite this