A Calculus for Control Flow Analysis of Security Protocols

Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson

    Research output: Contribution to journal › Journal article › Research › peer-review

    403 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'A Calculus for Control Flow Analysis of Security Protocols'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science