A security kernel based on the lambda-calculus
Jonathan Rees · DSpace@MIT (Massachusetts Institute of Technology) · 1995
Cooperation between independent agents depends upon establishing a degree of security.Eachofthe cooperating agents needs assurance that the cooperation will not endanger resources of value to that agent. In a