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
Cryptographically Sound Implementations for Communicating Processes - MaRDI portal

Cryptographically Sound Implementations for Communicating Processes (Q3591442)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cryptographically Sound Implementations for Communicating Processes
scientific article

    Statements

    title
    Cryptographically Sound Implementations for Communicating Processes (English)
    0 references
    DOI
    10.1007/11787006_8
    0 references
    author
    Pedro Adão
    0 references
    Cédric Fournet
    0 references
    publication date
    11 September 2007
    0 references
    zbMATH DE Number
    5189710
    0 references
    OpenAlex ID
    W1492649894
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3591442&oldid=31977166"
    Powered by MediaWiki