First |
Previous test case |
Next test case |
Last |
Test case index | Constants | Operations
Operation: chown
- BEGIN TEST CASE 4
- COMMENT
- El solicitante no es dueño UNIX pero es dueño del objeto, el objeto no está abierto, el grupo cambia.
- STATE PARAMETER s:SFSstate :=
-
|
[groups | := | G3, |
primaryGrp | := | PG3, |
subjectSC | := | SSC2, |
AllGrp | := | AG, |
RootGrp | := | RG, |
SecAdmGrp | := | SAG, |
objectSC | := | OSC2, |
acl | := |
|
{o | :-> | |
[owner | := | u1, |
group | := | g1, |
UserReaders | := | {}, |
GroupReaders | := | {}, |
UserWriters | := | {}, |
GroupWriters | := | {}, |
UserOwners | := | {u,u1}, |
GroupOwners | := | {RG}],
|
|
o1 | :-> | aclo1, |
o2 | :-> | aclo2, |
o3 | :-> | aclo3, |
barra | :-> | acl/},
|
|
secmat | := | SM2, |
files | := | F2, |
directories | := | D2]
|
- PARAMETER u:SUBJECT
-
- PARAMETER o:OBJECT
-
- PARAMETER u3:SUBJECT
-
- PARAMETER g2:GRPNAME
-
- END TEST CASE
|