Operation: oscstat

BEGIN TEST CASE 8

COMMENT

Propagación de dominio

STATE PARAMETER s:SFSstate :=

[groups	:=	G,
primaryGrp	:=	PG,
subjectSC	:=	{u :-> [level := N+1+M, categs := CAT], rSC, soSC},
AllGrp	:=	AG,
RootGrp	:=	RG,
SecAdmGrp	:=	SAG,
objectSC	:=	{o :-> [level := N, categs := CAT], bSC},
acl	:=	ACL,
secmat	:=	{},
files	:=	F,
directories	:=	D]

PARAMETER u:SUBJECT

PARAMETER o:OBJECT

END TEST CASE