cerca
ESP: Esercizi Sicurezza e Privatezza
modifica cronologia stampa login logout

Wiki

UniCrema


Materie per semestre

Materie per anno

Materie per laurea


Help

ESP: Esercizi Sicurezza e Privatezza

 Politiche Mandatorie

Torna alla pagina di ESP

Si considerino le classi di sicurezza: TS>S>C>U e le seguenti categorie C={Research,Admin}:

  • Calcolare il numero di classi di sicurezza:
    • Il numero di classi di sicurezza è dato da: n*2m. Dove n è il numero di classi ( nel nostro caso 4 ), m invece rappresenta il numero di categorie ( nel nostro caso sono 2 ).
      Quindi si ha: 4*22=16.
  • Elemento Bottom del reticolo delle classi di sicurezza:
    • L'emento Bottom è sempre dato dalla classe di sicurezza più piccola e dall'insieme vuoto delle categorie.
      Quindi si ha: <U,{}>.
  • Elemento Top del reticolo delle classi di sicurezza:
    • L'elemento Top è sempre dato dalla classe di sicurezza più elevata e dall'insieme delle categorie.
      Quindi si ha: <TS,{Research,Admin}>.
  • LUB <C,{}>,<U,{Admin}>:
    • Il LUB si calcola prendendo la classe di sicurezza maggiore e facendo l'unione delle categorie.
      Si ottiene quindi: <C,{Admin}>.
  • GLB <TS,{Research}>,<C,{Admin}>:
    • Il GLB si calcola prendendo la classe di sicurezza più piccola e facendo l'inersezione delle categorie.
      Si ottiene quindi: <C,{}>. In questo caso non ci sono elementi comuni quindi si avrà nel risultato l'insieme vuoto.

Si considerino le classi di sicurezza: VC>C>P e le categorie C={Data,Code,Tool}:

  • Calcolare il numero delle classi: 3*23=24.
  • Elemento Bottom del reticolo delle classi di sicurezza: <P,{}>.
  • Elemento Top del reticolo delle classi di sicurezza: '''<VC,{Data,Code,Tool}.
  • LUB <P,{Data}>,<VC,{Code,Tool}> = <VC,{Data,Code,Tool}>.
  • GLB <P,{Tool}>,<C,{Tool,Code}> = <P,{Tool}>.