A calculus for access control in distributed systems.
Abadi, Martin; Burrows, M.; Lampson, B.; Plotkin, G.
SRC-RR-70 February 28, 1991 External
Keyword(s): Electronic data processing-Distributed processing-Acces;
41 Pages
Back to Index