Now showing items 1-1 of 1

    • Secure Programming via Visibly Pushdown Safety Games 

      Harris, William; Jha, Somesh; Reps, Thomas (2012-01)
      Several recent operating systems provide system calls that allow an application to explicitly manage the privileges of modules with which the application interacts. Such privilege-aware operating systems allow a programmer ...