Operation: chsubsc

BEGIN TEST CASE 1

COMMENT

Hay objetos abiertos pero u no tiene ninguno abierto, el solicitante es secofr.

STATE PARAMETER s:SFSstate :=

[groups	:=	G4,
primaryGrp	:=	PG3,
subjectSC	:=	SSC2,
AllGrp	:=	AG,
RootGrp	:=	RG,
SecAdmGrp	:=	SAG,
objectSC	:=	OSC2,
acl	:=	ACL2,
secmat	:=	SM2,
files	:=	F2,
directories	:=	D2]

PARAMETER secofr:SUBJECT

PARAMETER u:SUBJECT

PARAMETER sc:SecClass

END TEST CASE