-- 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