Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis

Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli

    Research output: Book/Report › Report › Professional

    15 Citations (Scopus)
    93 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis'. Together they form a unique fingerprint.