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

Ricardo Corin, Sandro Etalle

    Research output: Book/Report › Report › Other research output

    53 Citations (Scopus)
    100 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