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
Formal Specification and Validation of Security Policies - MaRDI portal

Formal Specification and Validation of Security Policies (Q2889828)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal Specification and Validation of Security Policies
scientific article

    Statements

    title
    Formal Specification and Validation of Security Policies (English)
    0 references
    author
    Tony Bourdier
    0 references
    Horatiu Cirstea
    0 references
    M. Jaume
    0 references
    Hélène Kirchner
    0 references
    publication date
    8 June 2012
    0 references
    zbMATH DE Number
    6043831
    0 references
    describes a project that uses
    LUPS
    0 references
    Maude
    0 references
    OpenAlex ID
    W1560383651
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2889828&oldid=31577792"
    Powered by MediaWiki