<> <> <> <> DIRECTORY Rope, CHACLOpsP127V1, CHACLOpsP127V1Aux; CHACLOpsP127V1AuxImpl: CEDAR PROGRAM EXPORTS CHACLOpsP127V1Aux ~ { OPEN CHACLOpsP127V1, CHACLOpsP127V1Aux; ROPE: TYPE ~ Rope.ROPE; ExposeAccessList: PUBLIC PROC [arg: AccessList, level: NAT] RETURNS [res: ROPE] ~ { SELECT arg FROM readAccess => res ¬ "readAccess"; administrators => res ¬ "administrators"; selfControl => res ¬ "selfControl"; ENDCASE => ERROR }; }...