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