Now showing items 1-1 of 1

    • Static Analysis for Efficient Hybrid Information-Flow Control 

      Moore, Scott David; Chong, Stephen N (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, ...