Now showing items 1-1 of 1

    • Computability Classes for Enforcement Mechanisms 

      Hamlen, Kevin W.; Morrisett, Greg; Schneider, Fred B. (Cornell University, 2003-08-26)
      A precise characterization of those security policies enforceable by program rewriting is given. This characterization exposes and rectifies problems in prior work on execution monitoring, yielding a more precise ...