Aslan Askarov, Stephen Chong, Heiko Mantel. Hybrid Monitors for Concurrent Noninterference. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 137-151, IEEE, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.