Hybrid Monitors for Concurrent Noninterference

  • Aslan Askarov, Stephen Chong, Heiko Mantel
  • July 2015, Institute of Electrical & Electronics Engineers (IEEE)
  • DOI: 10.1109/csf.2015.17

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1109/csf.2015.17