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
Automated verification of noninterference property - MaRDI portal

Automated verification of noninterference property (Q2218982)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated verification of noninterference property
scientific article

    Statements

    title
    Automated verification of noninterference property (English)
    0 references
    author
    Fan Zhang
    0 references
    Cong Zhang
    0 references
    Mingdi Xu
    0 references
    Xiaoli Liu
    0 references
    Fangning Hu
    0 references
    Han-Chieh Chao
    0 references
    publication date
    18 January 2021
    0 references
    zbMATH Keywords
    intransitive noninterference
    0 references
    information flow
    0 references
    noninterference verification
    0 references

    Identifiers

    zbMATH DE Number
    7297656
    0 references
    OpenAlex ID
    W2898293931
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2218982&oldid=31913850"
    Powered by MediaWiki