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
Dynamic intransitive noninterference revisited - MaRDI portal

Dynamic intransitive noninterference revisited (Q1688559)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dynamic intransitive noninterference revisited
scientific article

    Statements

    Dynamic intransitive noninterference revisited (English)
    0 references
    0 references
    0 references
    8 January 2018
    0 references
    security
    0 references
    information flow
    0 references
    access control
    0 references
    proof techniques
    0 references

    Identifiers