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

    title
    Dynamic intransitive noninterference revisited (English)
    0 references
    author
    Sebastian Eggert
    0 references
    Ron van der Meyden
    0 references
    publication date
    8 January 2018
    0 references
    zbMATH Keywords
    security
    0 references
    information flow
    0 references
    access control
    0 references
    proof techniques
    0 references

    Identifiers

    zbMATH DE Number
    6823126
    0 references
    OpenAlex ID
    W2296228066
    0 references
    arXiv ID
    1601.05187
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1688559&oldid=36364122"
    Powered by MediaWiki