corr_confidentialite.txt
-------------------------------------------------------------------------------
Ex. 2

programmeur p donne tous les droits, tout se passe chez lui

employes : e1, ..., en :

1. (action 1) creer villages

grant insert
on village
to e1, e2, ..., en
-- to e1, e2, e3, e4, e5, e6, e7
-- to e1 : non
-- to public : non

est-ce que ce grant permet ce que veut le CC ? oui
est-ce que ce grant permet des ordres interdits par CC ? non 

un cahier des charges c'est un ensemble d'ordres autorisés
un ensemble de grants est "correct et complet" ssi (def) les ordres qu'il autorise
sont exactement ceux du cahier des charges

2. consulter villages : select * from village
grant select
on village
to e1,...,en
est-ce que ce grant permet ce que veut le CC ? oui
est-ce que ce grant permet des ordres interdits par CC ? non

3. modifier villages
grant update(capacite,activite)
on village
to e1,...,en
est-ce que ce grant permet ce que veut le CC ? oui
est-ce que ce grant permet des ordres interdits par CC ? non
-- grant update on village to e1, ..., en
-- est-ce que ce grant permet des ordres interdits par CC ? oui !!!

4. consulter sejours
grant select
on sejour
to e1,...,en
est-ce que ce grant permet ce que veut le CC ? oui
est-ce que ce grant permet des ordres interdits par CC ? non

5. traitement 3


clients humains nommes c1, ..., cm sur le meme compte oracle c:
6. traitement 1

7. traitement 2 :
select village...
update client set avoir = avoir-50 where idc = 1;
insert into sejour values(101, 1, 14, 365)
-- rem : seq_client.nextval => grant dessus

grant select village c
grant update(avoir) on client to c
grant insert sejour c

est-ce que ce groupe de trois grants permet tous les ordres que veut le CC ? oui
est-ce que ce groupe de trois grants permet une sequence d'ordres interdits par CC ?
ex 1 : update set avoir = avoir + 1000 where idc = waller
ex 2 : select... ; insert sejour -- pas de update avoir

8. consulter villages pour lesquels aucun sejour
9. consulter toutes ses informations :
     dans client
     dans sejour
     dans village

est-il possible exprimer le CC avec des grants sur table ?
est-il possible exprimer le CC avec des grants sur table et des vues ?
est-il possible exprimer le CC avec des grants sur table et des vues et encapsulation ?

-------------------------------------------------------------------------------