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
(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
(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, ...