Search
Now showing items 1-1 of 1
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 ...