-- 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.(1792)\f8