Now showing items 1-2 of 2
Declarative, Temporal, and Practical Programming with Capabilities
New operating systems, such as the Capsicum capability system, allow a programmer to write an application that satisfies strong security properties by invoking security- specific system calls at a few key points in the ...
Programming for a Capability System via Safety Games
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 ...