First |
Previous test case |
Next test case |
Last |
Test case index | Constants | Operations
Operation: chsubsc
- BEGIN TEST CASE 3
- COMMENT
- Hay objetos abiertos y u es lector de uno de ellos, 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 | := | SM4, |
files | := | F2, |
directories | := | D2]
|
- PARAMETER secofr:SUBJECT
-
- PARAMETER u:SUBJECT
-
- PARAMETER sc:SecClass
-
- END TEST CASE
|