-- Registration Server - Functions determining permissions of users.

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

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

DIRECTORY
BodyDefsUSING [RName],
ProtocolDefsUSING[ 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.