Operation: open

BEGIN TEST CASE 1

COMMENT

El solicitante puede abrir el objeto, lo tiene abierto en W, no tiene otros objetos abiertos; R, D. De aquí en más: R es abreviatura de READ, W es abreviatura de WRITE, D es abreviatura de DIRECTORY, F es abreviatura de FILE. Por sí solas cualquiera de estas letras indican el modo en que se ha solicitado la apertura del archivo y qué tipo de archivo es, por ejemplo "R, D" significa open de un directorio en modo de lectura.

STATE PARAMETER s:SFSstate :=

[groups	:=	G3,
primaryGrp	:=	PG3,
subjectSC	:=	{u :-> [level := N, categs := {FBI, NATO}], u1 :-> [level := N, categs := {FBI, NATO}], u2 :-> [level := N, categs := {FBI, NATO}], u3 :-> [level := N, categs := {FBI, NATO}], rSC , soSC},
AllGrp	:=	AG,
RootGrp	:=	RG,
SecAdmGrp	:=	SAG,
objectSC	:=	{od :-> [level := M, categs := {FBI}], o1 :-> [level := N, categs := {FBI, NATO}], o2 :-> [level := N, categs := {FBI, NATO}], o3 :-> [level := N, categs := {FBI, NATO}], bSC } ,
acl	:=	{od :-> [owner := u, group := g1, UserReaders := {u}, GroupReaders := {}, UserWriters := {u}, GroupWriters := {}, UserOwners := {u}, GroupOwners := {RG}], o1 :-> aclo1, o2 :-> aclo2, o3 :-> aclo3, barra :-> acl/},
secmat	:=	{od :-> [ActReaders := {}, ActWriters := {u}], o3 :-> [ActReaders := {u1}, ActWriters := {u1}]},
files	:=	F2,
directories	:=	Dod]

PARAMETER u:SUBJECT

PARAMETER o_d:OBJECT

PARAMETER READ:MODE

END TEST CASE