Browsing Faculty of Arts and Sciences by Keyword "dynamic information-flow monitors"
Now showing items 1-1 of 1
-
Static Analysis for Efficient Hybrid Information-Flow Control
(IEEE Computer Society, 2011)Hybrid information-flow monitors use a combination of static analysis and dynamic mechanisms to provide precise strong information security guarantees. However, unlike purely static mechanisms for information security, ...