The Complexity of Synchronous Notions of Information Flow Security
From MaRDI portal
Publication:3557857
DOI10.1007/978-3-642-12032-9_20zbMath1284.68385OpenAlexW2569004848MaRDI QIDQ3557857
Franck Cassez, Chenyi Zhang, Ron van der Meyden
Publication date: 27 April 2010
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_20
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
The complexity of synchronous notions of information flow security ⋮ Information flow in systems with schedulers. II: Refinement
This page was built for publication: The Complexity of Synchronous Notions of Information Flow Security
