Now showing items 1-1 of 1

    • A Security Kernel Based on the Lambda-Calculus 

      Rees, Jonathan A. (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 ...