Search
Now showing items 1-4 of 4
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 ...
Verifying Information Flow Control Over Unbounded Processes
(University of Wisconsin-Madison Department of Computer Sciences, 2009)
Decentralized Information Flow Control (DIFC) systems enable programmers
to express a desired DIFC policy, and to have the policy enforced via
a reference monitor that restricts interactions between system objects, such ...
DIFC Programs by Automatic Instrumentation
(University of Wisconsin-Madison Department of Computer Sciences, 2010)
Decentralized information flow control (DIFC) operating systems
provide applications with mechanisms for enforcing information-flow
policies for their data. However, significant obstacles keep
such operating systems ...
Programming for a Capability System via Safety Games
(2012-04-05)
New operating systems with security-specific system
calls, such as the Capsicum capability system, allow
programmers to write applications that satisfy strong security
properties with significantly less effort than full ...