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
Model Checking Security Protocols - MaRDI portal

Model Checking Security Protocols (Q3176380)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model Checking Security Protocols
scientific article

    Statements

    title
    Model Checking Security Protocols (English)
    0 references
    publication date
    20 July 2018
    0 references
    author
    David A. Basin
    0 references
    C. J. F. Cremers
    0 references
    Catherine A. Meadows
    0 references
    describes a project that uses
    YAPA
    0 references
    ProVerif
    0 references
    SATMC
    0 references
    PRISM
    0 references
    SPIN
    0 references
    Maude
    0 references
    Casper
    0 references
    NRL
    0 references
    Maude-NPA
    0 references
    AVISPA
    0 references
    OFMC
    0 references
    cites work
    Q4934731
    0 references
    Q2778861
    0 references
    Q2849571
    0 references
    Q4418589
    0 references
    Q3731512
    0 references
    Q4536248
    0 references
    Q2849849
    0 references
    Q4718481
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68M12
    0 references
    94A60
    0 references
    zbMATH DE Number
    6908888
    0 references
    OpenAlex ID
    W2803681306
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176380&oldid=36410149"
    Powered by MediaWiki