Operation: sscstat

BEGIN TEST CASE 1

COMMENT

La clase de acceso del solicitante supera a la del solicitado

STATE PARAMETER s:SFSstate :=

[groups	:=	G2,
primaryGrp	:=	PG2,
subjectSC	:=	{u :-> [level := N+1+M, categs := {A, B, C}], user :-> [level := N, categs := {A, B, C}], rSC, soSC},
AllGrp	:=	AG,
RootGrp	:=	RG,
SecAdmGrp	:=	SAG,
objectSC	:=	OSC1,
acl	:=	ACL1,
secmat	:=	{},
files	:=	F1,
directories	:=	D1]

PARAMETER u:SUBJECT

PARAMETER user:SUBJECT

END TEST CASE