Browsing CS Technical Reports by Author "Farley, Benjamin"
Now showing items 1-3 of 3
-
Programming for a Capability System via Safety Games
Harris, William R.; Farley, Benjamin; Jha, Somesh; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2011)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 ... -
Programming for a Capability System via Safety Games
Farley, Benjamin; Harris, William; Reps, Thomas; Jha, Somesh (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 ... -
Secure Programming as a Parity Game
Harris, William R.; Farley, Benjamin; Jha, Somesh; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2011)Traditionally, reference monitors have been used both to specify a policy of secure behaviors of an application, and to ensure that an application satisfies its specification. However, for recently proposed privilege-aware ...