An Improved Constraint-Based System for the Verification of Security Protocols

Ricardo Corin, Sandro Etalle

    Research output: Book/ReportReportOther research output

    53 Citations (Scopus)
    92 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'An Improved Constraint-Based System for the Verification of Security Protocols'. Together they form a unique fingerprint.

    Computer Science