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 differentially private properties - MaRDI portal

Model checking differentially private properties (Q2680992)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking differentially private properties
scientific article

    Statements

    title
    Model checking differentially private properties (English)
    0 references
    author
    Depeng Liu
    0 references
    Bow-Yaw Wang
    0 references
    Chen Fu
    0 references
    Li-jun Zhang
    0 references
    publication date
    5 January 2023
    0 references
    zbMATH Keywords
    model checking
    0 references
    differential privacy
    0 references
    temporal logic
    0 references
    describes a project that uses
    LightDP
    0 references
    PRISM
    0 references
    iscasMc
    0 references
    PrivateLR
    0 references
    cites work
    Theory of Cryptography
    0 references
    Differential Privacy
    0 references
    Q5322945
    0 references
    Q5305630
    0 references
    Q5089308
    0 references
    Q3408150
    0 references
    Probabilistic automata
    0 references
    Q5643915
    0 references

    Identifiers

    zbMATH DE Number
    7638592
    0 references
    OpenAlex ID
    W4304080448
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2680992&oldid=37476142"
    Powered by MediaWiki