Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The Applied Pi Calculus - MaRDI portal

The Applied Pi Calculus (Q3177888)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Applied Pi Calculus
scientific article

    Statements

    title
    The Applied Pi Calculus (English)
    0 references
    author
    Martín Abadi
    0 references
    Bruno Blanchet
    0 references
    Cédric Fournet
    0 references
    publication date
    2 August 2018
    0 references
    zbMATH Keywords
    security protocols
    0 references
    describes a project that uses
    YAPA
    0 references
    ProVerif
    0 references
    AVISPA
    0 references
    CoSP
    0 references

    Identifiers

    DOI
    10.1145/3127586
    0 references
    Mathematics Subject Classification ID
    68N30
    0 references
    68P25
    0 references
    68Q85
    0 references
    zbMATH DE Number
    6912793
    0 references
    OpenAlex ID
    W2522035104
    0 references
    arXiv ID
    1609.03003
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3177888&oldid=33606086"
    Powered by MediaWiki