Automated verification of selected equivalences for security protocols (Q2474047)

From MaRDI portal
Revision as of 07:16, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Automated verification of selected equivalences for security protocols
scientific article

    Statements

    title
    Automated verification of selected equivalences for security protocols (English)
    0 references
    author
    Bruno Blanchet
    0 references
    Martín Abadi
    0 references
    Cédric Fournet
    0 references
    publication date
    5 March 2008
    0 references
    zbMATH Keywords
    pi calculus
    0 references
    ProVerif
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68M12
    0 references
    68M10
    0 references
    68Q60
    0 references
    68Q85
    0 references
    zbMATH DE Number
    5242668
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2474047&oldid=26981707"
    Powered by MediaWiki