Description
1. Se dau urma˘toarele modele BLP (Figura 1.2 a)), respectiv Biba (Figura
1.2 b)).
Doctor (λH) SalaOperatii (ωH)
Urgente
Personal (ωL)
a) b)
Figure 1.2: Modelul BLP (a), respectiv Biba (b)
Se consider˘a urm˘atoarele subiecte ¸si obiecte, cu etichetele de confiden¸tialitate ¸si integritate corespunz˘atoare prezentate ˆın Tabelul 1.2.
Subiecte, Obiecte λ ω
S1: Dave Doctor SalaOperatii
S2: Nancy Asistenta Urgente
S3: Shari Secretara Urgente
S4: Paul Pacient Personal
O2: Re¸teta˘ Doctor Urgente
O3: List˘a Asistenta SalaOperatii
O4: Dosar Secretara Urgente
Table 1.2: Func¸tiile de etichetare λ, ω (Exerci¸tiul 1.)
12 CHAPTER 1. EXERCIT¸II
a) Combina¸ti cele doua˘ modele conform cazului 3 de combinare (etichete independente, direc¸tii diferite pentru valoarea maxim˘a);
b) Preciza¸ti valoarea de adev˘ar a urma˘toarelor afirma¸tii ¸si justifica¸ti ra˘spunsul, pe baza laticii ob¸tinute la punctul a):
i) Dave cite¸ste Lista.
Ra˘spuns:
Justificare:
ii) Nancy cite¸ste Dosar.
Ra˘spuns:
Justificare:
iii) Paul scrie Re¸teta.
Ra˘spuns:
Justificare:
Exerci¸tiul 2
Modelul Take-Grant. Predicat can share
Se d˘a graful Take-Grant G din Figura 2.1.
Decide¸ti daca˘ urma˘torul predicat are valoarea true sau false, verificaˆnd explicit condi¸tiile Teoremei 5 din curs (se vor preciza valorile pentru s, s0, p0, I1, …, In, pun¸ti existente intre insule): can share(w,o17,s11,G) = ?
5
6 EXERCIT¸IUL 2. TG2
Ex.3 Se da graful Take-Grant din figura 3. Descrieti ce reguli de tranzitie de tip TakeGrant trebuie aplicate asupra acestui digraf astfel incat, dupa aplicarea acestor reguli, subiectul x sa obtina dreptul r asupra obiectului z.
x t y r z
Figure 3
