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
The security picalculus and non-interference (extended abstract) - MaRDI portal

The security picalculus and non-interference (extended abstract)

From MaRDI portal

Publication:276474

Jump to:navigation, search

DOI10.1016/S1571-0661(03)50006-8zbMath1337.68183OpenAlexW2163494531WikidataQ115012814 ScholiaQ115012814MaRDI QIDQ276474

Matthew C. B. Hennessy

Publication date: 3 May 2016

Full work available at URL: https://doi.org/10.1016/s1571-0661(03)50006-8

zbMATH Keywords

distributed systems non-interference pi-calculus security types testing equivalences

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Secured Information Flow for Asynchronous Sequential Processes

This page was built for publication: The security picalculus and non-interference (extended abstract)

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