Now showing items 2-2 of 2

    • 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 ...