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
Decidability and proof systems for language-based noninterference relations - MaRDI portal

Decidability and proof systems for language-based noninterference relations

From MaRDI portal

Publication:5348913

Jump to:navigation, search

DOI10.1145/1111037.1111044zbMath1369.68133OpenAlexW2048172473MaRDI QIDQ5348913

Publication date: 21 August 2017

Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1111037.1111044

zbMATH Keywords

noninterference information flow multi-level security language-based security intransitive noninterference

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Secure information flow by self-composition

This page was built for publication: Decidability and proof systems for language-based noninterference relations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5348913&oldid=20049385"