Operation: oscstat

BEGIN TEST CASE 14

COMMENT

La clase de seguridad del sujeto no supera a la del objeto

STATE PARAMETER s:SFSstate :=

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

PARAMETER u:SUBJECT

PARAMETER o:OBJECT

END TEST CASE