LINKDING

 Login

Shared bookmarks

  • A Security Kernel Based on the Lambda Calculus
    #kernel #scheme #security | Cooperation between independent agents depends upon establishing a degree of security. Each of the cooperating agents needs assurance that the cooperation will not endanger resources of value to that agent. In a computer system, a computational mechanism can assure safe cooperation among the system's users by mediating resource access according to desired security policy. Such a mechanism, which is called a security kernel, lies at the heart of many operating systems and programming environments.
    1 month ago | View Shared by ray

User


Tags