-- Registration Server - Functions determining permissions of users.

-- [Juniper]<DMS>MS>AclDefs.mesa

-- Andrew Birrell 14-Aug-80 13:22:18

DIRECTORY
BodyDefs USING [RName],
ProtocolDefs USING [RSOperation];

AclDefs: DEFINITIONS =

BEGIN

Permission: TYPE = {yes, no};

CanOperate: PROCEDURE [
op: ProtocolDefs.RSOperation, entry: BodyDefs.RName, caller: BodyDefs.RName]
RETURNS [Permission];
-- examines ACL’s and says whether op is ok; assumes caller
-- is authenticated; says ok for illegal names --

END.