Foundations for Parallel Information Flow Control Runtime Systems
Paper i proceeding, 2019
runtime system
non-interference
parallelism
Författare
Marco Vassena
Chalmers, Data- och informationsteknik, Informationssäkerhet
Gary Soeller
University of California
Peter Amidon
University of California
Matthew Chan
Awake Security
John Renner
University of California
Deian Stefan
University of California
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11426 LNCS 1-28Prague, Czech Republic,
Ämneskategorier (SSIF 2011)
Datorteknik
Inbäddad systemteknik
Datorsystem
DOI
10.1007/978-3-030-17138-4_1