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
Logics for reasoning about cryptographic constructions - MaRDI portal

Logics for reasoning about cryptographic constructions (Q2490263)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logics for reasoning about cryptographic constructions
scientific article

    Statements

    title
    Logics for reasoning about cryptographic constructions (English)
    0 references
    author
    Russell Impagliazzo
    0 references
    Bruce M. Kapron
    0 references
    publication date
    28 April 2006
    0 references
    zbMATH DE Number
    5021335
    0 references
    zbMATH Keywords
    Security protocols
    0 references
    Cryptographically sound proofs
    0 references
    Nonstandard arithmetics
    0 references
    OpenAlex ID
    W2159543798
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2490263&oldid=34869384"
    Powered by MediaWiki