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
About models of security protocols - MaRDI portal

About models of security protocols (Q3165972)

From MaRDI portal
scientific article
Language Label Description Also known as
English
About models of security protocols
scientific article

    Statements

    author
    Hubert Comon-Lundh
    0 references
    publication date
    19 October 2012
    0 references
    zbMATH Keywords
    protocols
    0 references
    security
    0 references
    concurrency
    0 references
    formal methods
    0 references
    title
    About models of security protocols (English)
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68P25
    0 references
    94A60
    0 references
    68M12
    0 references
    zbMATH DE Number
    6096502
    0 references
    OpenAlex ID
    W1503660839
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3165972&oldid=39275395"
    Powered by MediaWiki