Proof System for Applied Pi Calculus (Q3163886)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof System for Applied Pi Calculus
scientific article

    Statements

    title
    Proof System for Applied Pi Calculus (English)
    0 references
    author
    Jia Liu
    0 references
    Huimin Lin
    0 references
    publication date
    27 October 2010
    0 references
    zbMATH DE Number
    5806315
    0 references
    zbMATH Keywords
    security protocols
    0 references
    OpenAlex ID
    W144241110
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3163886&oldid=33077763"
    Powered by MediaWiki