A language extension for expressing constraints on data access
Controlled sharing of information is needed and desirable for many applications and is supported in operating systems by access control mechanisms. This paper shows how…
A language extension for expressing constraints on data access
The design of the Venus operating system
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved