Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "operating systems"

Now showing items 1-2 of 2

  • A Security Kernel Based on the Lambda-Calculus 

    Unknown author (1996-03-13)
    Cooperation between independent agents depends upon establishing adegree of security. Each of the cooperating agents needs assurance that the cooperation will not endanger resources of value to that agent. In a computer ...

  • Toward Secure Services from Untrusted Developers 

    Unknown author (2007-08-06)
    We present a secure service prototype built from untrusted,contributed code.The service manages private data for a variety of different users, anduser programs frequently require access to other users' private data.However, ...