Conservation of CSP Noninterference Security under Concurrent Composition

From MaRDI portal


MaRDI QIDQ7361942FDO


Authors Pasquale Noce

Publication date 13 June 2016








This page was built for software: Conservation of CSP Noninterference Security under Concurrent Composition

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Conservation_of_CSP_Noninterference_Security_under_Concurrent_Composition&oldid=105370526"
Powered by MediaWiki