Browsing FAS Scholarly Articles by Keyword "hybrid information-flow monitor"
Now showing items 1-2 of 2
-
Global and Local Monitors to Enforce Noninterference in Concurrent Programs
(2015)Controlling confidential information in concurrent systems is difficult, due to covert channels resulting from interaction between threads. This problem is exacerbated if threads share resources at fine granularity. In ... -
Hybrid Monitors for Concurrent Noninterference
(2015)Controlling confidential information in concurrent systems is difficult, due to covert channels resulting from interaction between threads. This problem is exacerbated if threads share resources at fine granularity. In ...