Browsing College of Letters and Science, University of Wisconsin–Madison by Subject "safety game"
Now showing items 1-1 of 1
-
Secure Programming via Visibly Pushdown Safety Games
(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 ...